Changeset 5049
- Timestamp:
- 2003-07-28T11:27:27+12:00 (21 years ago)
- Location:
- trunk/gli/src/org/greenstone/gatherer/gui
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/NoSettingDialog.java
r5043 r5049 3 3 import java.awt.*; 4 4 import java.awt.event.*; 5 import java.net.*; 5 6 import javax.swing.*; 6 7 import org.greenstone.gatherer.Configuration; … … 104 105 result = JOptionPane.OK_OPTION; 105 106 // Store the value of the property 106 Gatherer.config.setString("general.exec_address", true, property_field.getText()); 107 String property_value = property_field.getText(); 108 109 // Store the value of the property 110 if (!property_value.equals("")) { 111 try { 112 Gatherer.config.exec_address = new URL(property_value); 113 } 114 catch (MalformedURLException error) { 115 ///ystem.err.println("Error: Bad address: " + property_value); 116 } 117 } 118 Gatherer.config.setString("general.exec_address", true, property_value); 107 119 } 108 120 // Store the state of the show message checkbox. -
trunk/gli/src/org/greenstone/gatherer/gui/PreviewPane.java
r4675 r5049 96 96 view.showHTMLDocument(BLANK_PAGE); 97 97 } 98 if (ready ) {98 if (ready && Gatherer.config.exec_address != null) { 99 99 // reload the home page for the current collection 100 100 try {
Note:
See TracChangeset
for help on using the changeset viewer.