Changeset 26001

Show
Ignore:
Timestamp:
23.07.2012 19:18:34 (7 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.

Files:
1 modified

Legend:

Unmodified
Added
Removed