Changeset 10387 for trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java

Timestamp:

2005-08-02T10:01:40+12:00 (19 years ago)

Author:

mdewsnip

Message:

Tidied up the way collections are saved and closed, and added some stuff in preparation for uploading metadata files to the server.

File:

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

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

@@ -718 +718 @@
         // shut down the collection
         System.err.println("shutting down teh collection");
-        Gatherer.g_man.closeCurrentCollection();
+        Gatherer.g_man.saveThenCloseCurrentCollection();
         }