Changeset 14372 for gli/trunk

Timestamp:

2007-08-15T09:55:11+12:00 (17 years ago)

Author:

qq6

Message:

set the general.gliserver_url if Configuration.gliserver_url is defined

File:

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

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

@@ -293 +293 @@
         if ((Configuration.library_url!=null) && isGsdlRemote && GS3 && (gliserver_url_string==null)){
             Configuration.gliserver_url = new URL(Configuration.library_url.toString() + "/cgi-bin/gliserver4gs3.pl");
+            gliserver_url_string = Configuration.gliserver_url.toString();
+            Configuration.setString("general.gliserver_url", true, gliserver_url_string);
         }
         }
@@ -787 +789 @@
         try {
         Configuration.gliserver_url = new URL(gliserver_url_string);
+        Configuration.setString("general.gliserver_url", true, gliserver_url_string);
         }
         catch (MalformedURLException exception) {