Changeset 26001

Timestamp:

2012-07-23T19:18:34+12:00 (12 years ago)

Author:

ak19

Message:

Solved a hard to track bug that prevented a change to the GS3 port number from being effective, when the port was adjusted from the Settings dialog during a running GS3-server. This was owing to the changes that introduced the ant target force-stop-tomcat in build.xml, which is what we want to run when we know the server is already running.

File:

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

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

@@ -29 +29 @@
         RESTART_CMD = "restart";
         CONFIGURE_CMD = "configure";
-        STOP_CMD = "stop";
+        STOP_CMD = "force-stop-tomcat";
 
         autoStart();