Changeset 10263

Timestamp:

2005-07-22T16:17:23+12:00 (19 years ago)

Author:

mdewsnip

Message:

Now downloads a collection from the remote Greenstone server if one is being used.

File:

• trunk/gli/src/org/greenstone/gatherer/collection/CollectionManager.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/collection/CollectionManager.java

@@ -64 +64 @@
 import org.greenstone.gatherer.metadata.MetadataXMLFileManager;
 import org.greenstone.gatherer.metadata.ProfileXMLFileManager;
+import org.greenstone.gatherer.remote.RemoteGreenstoneServer;
 import org.greenstone.gatherer.shell.GShell;
 import org.greenstone.gatherer.shell.GShellEvent;
@@ -755 +756 @@
     {
     DebugStream.println("Loading collection " + location + "...");
+
+    if (Gatherer.isGsdlRemote) {
+        String collection_name = location.substring(location.lastIndexOf(File.separator) + 1, location.length() - ".col".length());
+        RemoteGreenstoneServer.downloadCollection(collection_name);
+    }
+
     boolean non_gli_collection = false;