Changeset 36280
- Timestamp:
- 2022-07-01T11:55:16+12:00 (22 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone3/src/java/org/greenstone/server/BaseProperty.java
r29845 r36280 10 10 public final String ALLOW_EXTERNAL_ACCESS; 11 11 12 public final String DEFAULT_SERVLET = " server.default.servlet";12 public final String DEFAULT_SERVLET = "greenstone.default.servlet"; 13 13 14 14 public final String WEB_PORT;
Note:
See TracChangeset
for help on using the changeset viewer.