- Timestamp:
- 2018-08-22T22:08:05+12:00 (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone3/src/java/org/greenstone/util/GlobalProperties.java
r32344 r32357 181 181 182 182 //port 183 portSpecifier = properties.getProperty("tomcat.port"); 183 portSpecifier = properties.getProperty("tomcat.port"); // support for legacy tomcat.port? 184 if(portSpecifier == null) { 185 portSpecifier = protocolSpecifier.startsWith("https") ? properties.getProperty("tomcat.port.https") : properties.getProperty("tomcat.port.http"); 186 } 184 187 if (portSpecifier == null || portSpecifier.equals("") 185 188 || (protocolSpecifier.equals("http://") && portSpecifier.equals("80"))
Note:
See TracChangeset
for help on using the changeset viewer.