Removed exit command from end of main method.
authorberghofe
Tue Oct 16 19:54:53 2001 +0200 (2001-10-16)
changeset 118128d191eaf7fc4
parent 11811 38721b2c6f57
child 11813 5ce7346490af
Removed exit command from end of main method.
lib/browser/GraphBrowser/GraphBrowser.java
     1.1 --- a/lib/browser/GraphBrowser/GraphBrowser.java	Tue Oct 16 19:54:24 2001 +0200
     1.2 +++ b/lib/browser/GraphBrowser/GraphBrowser.java	Tue Oct 16 19:54:53 2001 +0200
     1.3 @@ -194,7 +194,6 @@
     1.4  				is.close();
     1.5  			}
     1.6  			if (args.length > 1) {
     1.7 -			    gb.gv.getGraph().layout(null);
     1.8                              try {
     1.9  			      if (args[1].endsWith(".ps")) {
    1.10                                  gb.gv.PS(args[1], true);
    1.11 @@ -206,6 +205,7 @@
    1.12                              } catch (IOException exn) {
    1.13                                System.err.println("Unable to write file " + args[1]);
    1.14                              }
    1.15 +			    System.exit(0);
    1.16                          } else {
    1.17  			    f=new GraphBrowserFrame(gb);
    1.18  			    f.setSize(700,500);
    1.19 @@ -214,7 +214,6 @@
    1.20  		} catch (IOException exn) {
    1.21  			System.err.println("Can't open graph file "+args[0]);
    1.22  		}
    1.23 -		System.exit(0);
    1.24  	}
    1.25  }
    1.26