# HG changeset patch
# User kleing
# Date 1052322364 -7200
# Node ID 9a4cb68e331503415b1437a7aa940419a0239e62
# Parent  9170772bf420845d0704d94370796b7403ee3623
use different main class for batch mode

diff -r 9170772bf420 -r 9a4cb68e3315 lib/Tools/browser
--- a/lib/Tools/browser	Wed May 07 17:41:23 2003 +0200
+++ b/lib/Tools/browser	Wed May 07 17:46:04 2003 +0200
@@ -78,8 +78,7 @@
   if [ -z "$OUTFILE" ]; then
     java GraphBrowser.GraphBrowser "$GRAPHFILE"
   else
-    unset DISPLAY  #paranoia setting
-    java GraphBrowser.GraphBrowser "$GRAPHFILE" "$OUTFILE"
+    java GraphBrowser.Console "$GRAPHFILE" "$OUTFILE"
   fi
   RC="$?"