Changeset 12310 for trunk/gli/src/org/greenstone/gatherer/gui

Timestamp:

2006-07-27T13:52:26+12:00 (18 years ago)

Author:

davidb

Message:

Minor mods to Gatherer exit code to allow -- for the Windows case -- GLI
to restart in a different interface language. Windows case complicated
by threads used to monitor the external applications that have been launched
and still running.

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(2);
+        Gatherer.exit(Gatherer.EXIT_THEN_RESTART);
         }
     }