Changeset 5045
- Timestamp:
- 2003-07-25T16:52:36+12:00 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/Configuration.java
r4966 r5045 174 174 updateUI(); 175 175 176 // If we have no exec_address, see if one was specified in the config file 177 if (exec_address == null) { 178 String exec_address_string = getString("general.exec_address", true); 179 if (!exec_address_string.equals("")) { 180 try { 181 exec_address = new URL(exec_address_string); 182 } 183 catch (MalformedURLException error) { 184 ///ystem.err.println("Error: Bad address: " + exec_address_string); 185 } 186 } 187 } 188 176 189 Gatherer.println("EXEC_FILE = " + exec_file); 177 190 Gatherer.println("EXEC_ADDRESS = " + exec_address);
Note:
See TracChangeset
for help on using the changeset viewer.