added flush method to Log.java

[org.ibex.core.git] / src / org / ibex / util / Log.java

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