From ad16fb82c71fe47fcb5a7c7cc462e41ca91d0c1e Mon Sep 17 00:00:00 2001
From: adam <adam@megacz.com>
Date: Mon, 28 Jun 2004 22:17:34 +0000
Subject: [PATCH] added flush method to Log.java

darcs-hash:20040628221734-5007d-4c1de4f9862ded6c9e818eccc37d6aac00b6a82e.gz
---
 src/org/ibex/util/Log.java |    1 +
 1 file changed, 1 insertion(+)

diff --git a/src/org/ibex/util/Log.java b/src/org/ibex/util/Log.java
index beb7f3e..d2bca77 100644
--- 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
-- 
1.7.10.4