Changeset 24207 for main/trunk/greenstone3/src/java/org/greenstone/server/Server3Settings.java

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/src/java/org/greenstone/server/Server3Settings.java (modified) (1 diff)

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

@@ -93 +93 @@
     newFileLines = scriptReadWrite.queryReplace(newFileLines, BaseServer.Property.AUTOSTART, newAutoEnter);
 
+    String newKeepPort = (new Boolean(keepPortToggle.isSelected())).toString();
+    newFileLines = scriptReadWrite.queryReplace(newFileLines, BaseServer.Property.KEEPPORT, newKeepPort);
+
     String newServletDef = (String) servlet_combobox.getSelectedItem();
     newFileLines = scriptReadWrite.queryReplace(newFileLines,BaseServer.Property.DEFAULT_SERVLET, (String) url_mappings.get(newServletDef));