added autoflushing

darcs-hash:20040720101721-5007d-9318763cae49a95b9cc2c4abd933e7f4bb2b0f6e.gz

diff --git a/src/org/ibex/io/Stream.java b/src/org/ibex/io/Stream.java
index 0732016..b7e32b4 100644 (file)
--- 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(); }