Changeset 7339

Timestamp:

2004-05-17T12:03:51+12:00 (20 years ago)

Author:

kjdon

Message:

when changing the site setting, need to close the collection - now check that there is one open before trying to close it

File:

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

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

@@ -782 +782 @@
         }
 
-        if (Gatherer.GS3 && site_changed) {
+        if (Gatherer.GS3 && site_changed && Gatherer.c_man.getCollection()!=null) {
         // shut down the collection
         System.err.println("shutting down teh collection");