- Timestamp:
- 2009-03-16T19:01:41+13:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/src/java/org/greenstone/server/Server3Settings.java
r18693 r18696 22 22 { 23 23 super(server); 24 this.servletDefault = server.build_properties.getProperty(BaseServer.Property.DEFAULT_SERVLET).replaceAll("/",""); 24 25 } 25 26
Note:
See TracChangeset
for help on using the changeset viewer.