From 0fd06223f6e59f50a16cd875d736307e920b3183 Mon Sep 17 00:00:00 2001 From: adam Date: Tue, 20 Jul 2004 10:17:21 +0000 Subject: [PATCH] added autoflushing darcs-hash:20040720101721-5007d-9318763cae49a95b9cc2c4abd933e7f4bb2b0f6e.gz --- src/org/ibex/io/Stream.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/org/ibex/io/Stream.java b/src/org/ibex/io/Stream.java index 0732016..b7e32b4 100644 --- a/src/org/ibex/io/Stream.java +++ b/src/org/ibex/io/Stream.java @@ -54,7 +54,7 @@ public class Stream { public void unread(String s) { in.unread(s); } public void println() { println(""); } - public void println(String s) { logWrite(s); out.write(s); out.write(newLine); } + public void println(String s) { logWrite(s); out.write(s); out.write(newLine); flush(); } public void flush() { if (out != null) try { out.w.flush(); } catch(IOException e) { ioe(e); } } public void close() { in.close(); out.close(); } -- 1.7.10.4