lib/browser/GraphBrowser/GraphBrowser.java

 				InputStream is=new FileInputStream(args[0]);
 				gb.initBrowser(is);
 				is.close();
 			}
 			if (args.length > 1) {
-			    gb.gv.getGraph().layout(null);
                             try {
 			      if (args[1].endsWith(".ps")) {
                                 gb.gv.PS(args[1], true);
                               } else if (args[1].endsWith(".eps")) {
                                 gb.gv.PS(args[1], false);

                                 System.err.println("Unknown file type: " + args[1]);
                               }
                             } catch (IOException exn) {
                               System.err.println("Unable to write file " + args[1]);
                             }
+			    System.exit(0);
                         } else {
 			    f=new GraphBrowserFrame(gb);
 			    f.setSize(700,500);
 			    f.show();
                         }
 		} catch (IOException exn) {
 			System.err.println("Can't open graph file "+args[0]);
 		}
-		System.exit(0);
 	}
 }