Changeset 5045

Timestamp:

2003-07-25T16:52:36+12:00 (21 years ago)

Author:

mdewsnip

Message:

Added stuff to handle new library path option.

File:

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

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

@@ -174 +174 @@
     updateUI();
 
+    // If we have no exec_address, see if one was specified in the config file
+    if (exec_address == null) {
+        String exec_address_string = getString("general.exec_address", true);
+        if (!exec_address_string.equals("")) {
+        try {
+            exec_address = new URL(exec_address_string);
+        }
+        catch (MalformedURLException error) {
+            ///ystem.err.println("Error: Bad address: " + exec_address_string);
+        }
+        }
+    }
+
     Gatherer.println("EXEC_FILE = " + exec_file);
     Gatherer.println("EXEC_ADDRESS = " + exec_address);