Changeset 13808

Timestamp:

2007-01-25T16:31:21+13:00 (17 years ago)

Author:

mdewsnip

Message:

Remote building now supports profile.xml files for mapping metadata.

File:

• trunk/gli/src/org/greenstone/gatherer/metadata/ProfileXMLFile.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/metadata/ProfileXMLFile.java

@@ -30 +30 @@
 import java.io.*;
 import java.util.*;
+import org.greenstone.gatherer.Gatherer;
+import org.greenstone.gatherer.collection.CollectionManager;
+import org.greenstone.gatherer.remote.RemoteGreenstoneServer;
 import org.greenstone.gatherer.util.XMLTools;
 import org.w3c.dom.*;
@@ -105 +108 @@
     XMLTools.writeXMLFile(this, document);
 
+    // This is inefficient but for simplicity we'll just upload the file every time it is changed
+    if (Gatherer.isGsdlRemote) {
+        RemoteGreenstoneServer.uploadCollectionFile(CollectionManager.getLoadedCollectionName(), this);
+    }
+
     // Invalidate the metadata mapping
     metadata_mapping = null;