Changeset 24233

Show
Ignore:
Timestamp:
05.07.2011 17:15:23 (9 years ago)
Author:
ak19
Message:

Sam found a bug in the recent commits concerning keeping the port fixed: if the server.keep.port property is not present in the build.properties, then the code should still recover by defaulting this to false.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • main/trunk/greenstone3/src/java/org/greenstone/server/BaseServerSettings.java

    r24207 r24233  
    6969    } 
    7070 
    71     String keep_port_str = server.config_properties.getProperty(BaseServer.Property.KEEPPORT).trim(); 
     71    String keep_port_str = server.config_properties.getProperty(BaseServer.Property.KEEPPORT, "false").trim(); 
    7272    if (keep_port_str.equals("true") || keep_port_str.equals("1")) { 
    7373        this.keepPort = true;