changeset 13974 | 9a4cb68e3315 |
parent 11900 | f8f37d61fbc2 |
child 14546 | 8c846773878a |
--- 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="$?"