Changeset 24207 for main/trunk/greenstone3/build.properties.in

Timestamp:

2011-06-28T17:07:42+12:00 (13 years ago)

Author:

ak19

Message:

Part 1 of 2 commits for ticket 766 (the other commits will be in GS2): the GSI settings dialog now provides the ability to freeze the port number.

File:

• main/trunk/greenstone3/build.properties.in (modified) (1 diff)

main/trunk/greenstone3/build.properties.in

@@ -26 +26 @@
 # does running the server automatically start up Tomcat and a browser
 server.auto.start=false
+# if set to true, won't try other ports if the specified port is not available
+server.keep.port=false
 # default servlet to start with
 server.default.servlet=/library