Changeset 13884

Timestamp:

2007-02-09T13:11:20+13:00 (17 years ago)

Author:

shaoqun

Message:

update the port num

File:

• trunk/gsdl3/src/java/org/greenstone/server/ServerSettings.java (modified) (1 diff)

trunk/gsdl3/src/java/org/greenstone/server/ServerSettings.java

@@ -261 +261 @@
                 require_restart = true; 
                 server.reconfigRequired();
+                portNum = ((Integer)portNumber_spinner.getValue()).intValue();
                 logger.info("port changed, new port is "+portNumber_spinner.getValue());
         }