added flush method to Log.java

darcs-hash:20040628221734-5007d-4c1de4f9862ded6c9e818eccc37d6aac00b6a82e.gz

diff --git a/src/org/ibex/util/Log.java b/src/org/ibex/util/Log.java
index beb7f3e..d2bca77 100644 (file)
--- a/src/org/ibex/util/Log.java
+++ b/src/org/ibex/util/Log.java
@@ -23,6 +23,7 @@ public class Log {
 
     public static PrintStream logstream = System.err;
 
+    public static void flush() { logstream.flush(); }
     public static void email(String address) { throw new Error("FIXME not supported"); }
     public static void file(String filename) throws IOException {
         // FIXME security