Changeset 29923

Show
Ignore:
Timestamp:
26.05.2015 16:27:02 (4 years ago)
Author:
ak19
Message:

When running the Greenstone Server Interface dialog, need to ensure the derby server is also stopped when stopping the server.

Files:
1 modified

Legend:

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

    r28937 r29923  
    2626        server_control_ = new Server3Control(this, frame_title); 
    2727 
    28         /** Ant command tagets for managing Web server */ 
     28        /** Ant command targets for managing Web server */ 
    2929        START_CMD = "start"; 
    3030        RESTART_CMD = "restart"; 
    3131        CONFIGURE_CMD = "configure"; 
    32         STOP_CMD = "force-stop-tomcat"; 
     32        STOP_CMD = "force-stop-tomcat stop-derby"; 
    3333 
    3434        String is_read_only = System.getProperty("gsdl3home.isreadonly","false");