From: Jean Privat <jean@pryen.org>
Date: Mon, 23 Mar 2015 07:43:13 +0000 (+0700)
Subject: lib/std/file: no not flush on each write
X-Git-Tag: v0.7.3~10^2~1
X-Git-Url: http://nitlanguage.org?hp=2091a6f0d0f4fea6f1f8c2131d336d49547b55aa

lib/std/file: no not flush on each write

Flushing for each small element of an output made things too slow.

real (not user) time for nitc/nitc/nitc:
before: 0m7.373s
after: 0m5.901s (-20%)

Signed-off-by: Jean Privat <jean@pryen.org>
---

diff --git a/lib/standard/file.nit b/lib/standard/file.nit
index 4d77955..a2856ae 100644
--- a/lib/standard/file.nit
+++ b/lib/standard/file.nit
@@ -150,7 +150,6 @@ class FileWriter
 		else
 			for i in s.substrings do write_native(i.to_cstring, i.length)
 		end
-		_file.flush
 	end
 
 	redef fun close