Changeset 32336 for main

Show
Ignore:
Timestamp:
14.08.2018 17:06:35 (13 months ago)
Author:
ak19
Message:

Correcting errors introduced in the last minute before commits.

Location:
main/trunk/greenstone3/src/java/org/greenstone
Files:
2 modified

Legend:

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

    r32334 r32336  
    5353        logger.error(e); 
    5454        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); 
    5656    }  
    5757 
  • main/trunk/greenstone3/src/java/org/greenstone/util/GlobalProperties.java

    r32335 r32336  
    192192            //context path 
    193193            contextSpecifier = properties.getProperty("tomcat.context"); 
    194             if (contextPath == null || contextPath.equals("") || contextPath.equals("/")) 
     194            if (contextSpecifier == null || contextSpecifier.equals("") || contextSpecifier.equals("/")) 
    195195            { 
    196196                contextSpecifier = "";