Removed exit command from end of main method.
--- a/lib/browser/GraphBrowser/GraphBrowser.java Tue Oct 16 19:54:24 2001 +0200
+++ b/lib/browser/GraphBrowser/GraphBrowser.java Tue Oct 16 19:54:53 2001 +0200
@@ -194,7 +194,6 @@
is.close();
}
if (args.length > 1) {
- gb.gv.getGraph().layout(null);
try {
if (args[1].endsWith(".ps")) {
gb.gv.PS(args[1], true);
@@ -206,6 +205,7 @@
} catch (IOException exn) {
System.err.println("Unable to write file " + args[1]);
}
+ System.exit(0);
} else {
f=new GraphBrowserFrame(gb);
f.setSize(700,500);
@@ -214,7 +214,6 @@
} catch (IOException exn) {
System.err.println("Can't open graph file "+args[0]);
}
- System.exit(0);
}
}