Ignore:
Timestamp:
2015-06-22T19:42:38+12:00 (9 years ago)
Author:
ak19
Message:
  1. Targets for stopping and starting the derby server now first check whether derby is already running and acts accordingly, just like stop-tomcat does, with the introduction of a force-stop-derby. 2. Have added a similar check for start-tomcat, so that we can't any longer accidentally run ant start and thereby run two tomcat instances on the same host and port.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • main/trunk/greenstone3/src/java/org/greenstone/server/Server3.java

    r29923 r29988  
    3030        RESTART_CMD = "restart";
    3131        CONFIGURE_CMD = "configure";
    32         STOP_CMD = "force-stop-tomcat stop-derby";
     32        STOP_CMD = "force-stop-tomcat force-stop-derby";
    3333
    3434        String is_read_only = System.getProperty("gsdl3home.isreadonly","false");
Note: See TracChangeset for help on using the changeset viewer.