Changeset 18691 for greenstone3


Ignore:
Timestamp:
2009-03-16T16:36:25+13:00 (15 years ago)
Author:
ak19
Message:

Minor changes to properties.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • greenstone3/trunk/resources/java/server.properties

    r13827 r18691  
    11ServerSettings.Title=Server settings
    2 ServerSettings.Tomcat_Port=Tomcat port:
     2ServerSettings.Port=Tomcat port:
    33ServerSettings.Servlet=Servlet:
    44ServerSettings.Auto_Start=Enter the library automatically
     
    1313ServerControl.RestartLibrary=Restart Library
    1414ServerControl.StartServer=Start Server
    15 ServerControl.Version=Version {0}
     15ServerControl.Version=Version 3-trunk
    1616ServerControl.Frame_Title=Greenstone Server
    1717ServerControl.Title=Greenstone3 Digital Library
     
    3030ServerControl.Success={0} success
    3131greenstone.version=Version 3.2
    32 ServerSetting.SettingChanged=The new settings will be avaliable after the server restarted
     32ServerSetting.SettingChanged=The new settings will be avaliable after the server has been restarted
Note: See TracChangeset for help on using the changeset viewer.