# HG changeset patch
# User berghofe
# Date 1003254893 -7200
# Node ID 8d191eaf7fc440771fdb49ffe43db3696ac0de80
# Parent  38721b2c6f579503c141fc7c0ebfde42f8bee0ed
Removed exit command from end of main method.

diff -r 38721b2c6f57 -r 8d191eaf7fc4 lib/browser/GraphBrowser/GraphBrowser.java
--- 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);
 	}
 }