autoflush connections

darcs-hash:20040708091137-5007d-797552e694ea19b1965d957ef9c30afe4e928b3c.gz

diff --git a/src/org/ibex/io/Stream.java b/src/org/ibex/io/Stream.java
index a1bf021..b218d28 100644 (file)
--- a/src/org/ibex/io/Stream.java
+++ b/src/org/ibex/io/Stream.java
@@ -55,7 +55,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(); }