Changeset 9875

Timestamp:

2005-05-16T11:25:18+12:00 (19 years ago)

Author:

davidb

Message:

Setting of g_man to null (when exiting GLI) needed for applet version.
This is so GLI starts up again properly if the user returns to the GLI page
within the same Web browser session.

File:

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

trunk/gli/src/org/greenstone/gatherer/Gatherer.java

@@ -436 +436 @@
         System.exit(0);
         }
+        else {
+        g_man = null;
+        }
     }
     else {