Changeset 18691

Show
Ignore:
Timestamp:
16.03.2009 16:36:25 (10 years ago)
Author:
ak19
Message:

Minor changes to properties.

Files:
1 modified

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