- Timestamp:
- 2015-06-22T19:42:38+12:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone3/src/java/org/greenstone/server/Server3.java
r29923 r29988 30 30 RESTART_CMD = "restart"; 31 31 CONFIGURE_CMD = "configure"; 32 STOP_CMD = "force-stop-tomcat stop-derby";32 STOP_CMD = "force-stop-tomcat force-stop-derby"; 33 33 34 34 String is_read_only = System.getProperty("gsdl3home.isreadonly","false");
Note:
See TracChangeset
for help on using the changeset viewer.