Changeset 24233

Timestamp:

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

• main/trunk/greenstone3/src/java/org/greenstone/server/BaseServerSettings.java (modified) (1 diff)

main/trunk/greenstone3/src/java/org/greenstone/server/BaseServerSettings.java

@@ -69 +69 @@
     }
 
-    String keep_port_str = server.config_properties.getProperty(BaseServer.Property.KEEPPORT).trim();
+    String keep_port_str = server.config_properties.getProperty(BaseServer.Property.KEEPPORT, "false").trim();
     if (keep_port_str.equals("true") || keep_port_str.equals("1")) {
         this.keepPort = true;