- Timestamp:
- 2011-08-25T22:04:29+12:00 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone3/src/java/org/greenstone/server/BaseServerSettings.java
r24455 r24479 290 290 291 291 String osName = System.getProperty("os.name"); 292 292 if (osName.startsWith("Windows")){ 293 293 browserPath = browserPath.replaceAll("\\\\","/"); 294 294 } … … 297 297 scriptReadWrite.writeOutFile(BaseServer.config_properties_file, newFileLines); 298 298 299 server.reloadConfigProperties(port_has_changed); 300 server.reload(); // work out the URL again in case it has changed 301 if (require_restart){ 302 JOptionPane.showMessageDialog(null,server.dictionary.get("ServerSettings.SettingChanged"),"Info", JOptionPane.INFORMATION_MESSAGE); 303 if(autoStart) { 304 server.autoStart(); 305 server.getServerControl().updateControl(); 306 } 299 if(server.reloadConfigProperties(port_has_changed)) { // successful/valid configuration changes 300 // if failure, it would have displayed an error message 301 server.reload(); // work out the URL again in case it has changed 302 if (require_restart){ 303 JOptionPane.showMessageDialog(null,server.dictionary.get("ServerSettings.SettingChanged"),"Info", JOptionPane.INFORMATION_MESSAGE); 304 if(autoStart) { 305 server.autoStart(); 306 server.getServerControl().updateControl(); 307 } 308 } 307 309 } 308 310 }
Note:
See TracChangeset
for help on using the changeset viewer.