Changeset 18691 for greenstone3/trunk/resources/java
- Timestamp:
- 2009-03-16T16:36:25+13:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/resources/java/server.properties
r13827 r18691 1 1 ServerSettings.Title=Server settings 2 ServerSettings. Tomcat_Port=Tomcat port:2 ServerSettings.Port=Tomcat port: 3 3 ServerSettings.Servlet=Servlet: 4 4 ServerSettings.Auto_Start=Enter the library automatically … … 13 13 ServerControl.RestartLibrary=Restart Library 14 14 ServerControl.StartServer=Start Server 15 ServerControl.Version=Version {0}15 ServerControl.Version=Version 3-trunk 16 16 ServerControl.Frame_Title=Greenstone Server 17 17 ServerControl.Title=Greenstone3 Digital Library … … 30 30 ServerControl.Success={0} success 31 31 greenstone.version=Version 3.2 32 ServerSetting.SettingChanged=The new settings will be avaliable after the server restarted32 ServerSetting.SettingChanged=The new settings will be avaliable after the server has been restarted
Note:
See TracChangeset
for help on using the changeset viewer.