- 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/Server2.java
r24465 r24479 301 301 } 302 302 303 public voidreloadConfigProperties(boolean port_has_changed) {303 public boolean reloadConfigProperties(boolean port_has_changed) { 304 304 super.reloadConfigProperties(port_has_changed); 305 305 … … 318 318 if(!PortFinder.isPortAvailable(portNum, verbose)) { // first time, print any Port Unavailable messages 319 319 if(keepport.equals("1")) { 320 String errorMsg = "Unable to run the Greenstone server on port " + port + ". It may already be in use."; 320 server_control_.errorMessage(dictionary.get("ServerSettings.SettingsUnchangedPortOccupied", new String[]{port})); 321 String errorMsg = "Unable to run the Greenstone server on port " + port + ". It appears to already be in use."; 321 322 System.err.println("\n******************"); 322 323 logger_.error(errorMsg); 323 324 System.err.println("If you wish to try another port, go to File > Settings of the Greenstone Server interface and either change the port number or untick the \"Do Not Modify Port\" option there. Then press the \"Enter Library\" button."); 324 325 System.err.println("******************\n"); 326 327 return false; // property change is unsuccessful 328 325 329 } else { // can modify port, try to find a new port 326 330 … … 355 359 } 356 360 361 return true; 357 362 } 358 363
Note:
See TracChangeset
for help on using the changeset viewer.