more fixes to bring things up to date with the new test/doc apis

[fleet.git] / src / edu / berkeley / fleet / interpreter / Log.java

diff --git a/src/edu/berkeley/fleet/interpreter/Log.java b/src/edu/berkeley/fleet/interpreter/Log.java
index f3bc864..76fac05 100644 (file)
--- a/src/edu/berkeley/fleet/interpreter/Log.java
+++ b/src/edu/berkeley/fleet/interpreter/Log.java
@@ -10,6 +10,7 @@ public class Log {
     public static PrintWriter log = new PrintWriter(new OutputStreamWriter(System.out));
 
     public static void print(Object o) {
+        if (log==null) return;
         try {
             log.print(o);
         } catch (Exception e) {
@@ -18,6 +19,7 @@ public class Log {
     }
     public static void println() { println(""); }
     public static void println(Object o) {
+        if (log==null) return;
         try {
             log.println(o);
             log.flush();