Changeset 12608

Timestamp:

2006-08-30T14:25:21+12:00 (18 years ago)

Author:

kjdon

Message:

in okbuttonlistener, when restart is required, call Gatherer.g_man.exit rather than Gatherer.exit, so that collections are closed properly

File:

• trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java (modified) (1 diff)

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

@@ -794 +794 @@
 
         if (restart_required) {
-        Gatherer.exit(Gatherer.EXIT_THEN_RESTART);
+        Gatherer.g_man.exit(Gatherer.EXIT_THEN_RESTART);
         }
     }