Changeset 32336 for main/trunk
- Timestamp:
- 2018-08-14T17:06:35+12:00 (6 years ago)
- Location:
- main/trunk/greenstone3/src/java/org/greenstone
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone3/src/java/org/greenstone/server/BaseServerSettings.java
r32334 r32336 53 53 logger.error(e); 54 54 System.err.println("Unable to proceed. Port number property " + BaseServer.Property.WEB_PORT + " doesn't exist\nor contains a non-numeric value"); 55 exit(-1);55 System.exit(-1); 56 56 } 57 57 -
main/trunk/greenstone3/src/java/org/greenstone/util/GlobalProperties.java
r32335 r32336 192 192 //context path 193 193 contextSpecifier = properties.getProperty("tomcat.context"); 194 if (context Path == null || contextPath.equals("") || contextPath.equals("/"))194 if (contextSpecifier == null || contextSpecifier.equals("") || contextSpecifier.equals("/")) 195 195 { 196 196 contextSpecifier = "";
Note:
See TracChangeset
for help on using the changeset viewer.