Changeset 24233


Ignore:
Timestamp:
2011-07-05T17:15:23+12:00 (10 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.

File:
1 edited

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;
Note: See TracChangeset for help on using the changeset viewer.