Changeset 12609

Timestamp:

2006-08-30T14:26:33+12:00 (18 years ago)

Author:

kjdon

Message:

exit now takes an int exit_status argument, which is passed to Gatherer.exit

File:

• trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java

@@ -452 +452 @@
     }
 
-
+    public void exit() 
+    {
+    exit(0);
+    }
+    
     /** This method ensures that all the things needing saving are saved before Gatherer.exit() is called.
      */
-    public void exit()
+    public void exit(int exit_status)
     {
     // If we have a collection open remember it for next time, then save it and close it
@@ -477 +481 @@
     // If we're running as an applet we don't quit here (we quit when the browser calls GathererApplet.destroy())
     if (!Gatherer.isApplet) {
-        Gatherer.exit();
+        Gatherer.exit(exit_status);
     }
     }