ServerSettings.Title=Server settings ServerSettings.Tomcat_Port=Tomcat port: ServerSettings.Servlet=Servlet: ServerSettings.Auto_Start=Enter the library automatically ServerSettings.OK=OK ServerSettings.Cancel=Cancel ServerSettings.DefaultBrowser=Default browser ServerSettings.OtherBrowser=Other browser ServerSettings.ChooseBrowser=Enter library using: ServerSettings.Browse=Browse ServerControl.EnterLibrary=Enter Library ServerControl.RestartLibrary=Restart Library ServerControl.StartServer=Start Server ServerControl.Version=Version {0} ServerControl.Frame_Title=Greenstone Server ServerControl.Title=Greenstone Digital Library ServerControl.Help_RestartLibrary=Press the 'Restart Library' button to restart the server, launch a browser and enter the library ServerControl.Help_EnterLibrary=Press the 'Enter Library' button to launch a browser and enter the library ServerControl.Starting=Starting server... ServerControl.Configuring=Configuring server... ServerControl.Stopping=Stopping server... ServerControl.LaunchingBrowser=Launching browser... ServerControl.LaunchBrowser=Launch browser ServerControl.Menu.File=File ServerControl.Menu.Settings=Settings... ServerControl.Menu.Exit=Exit ServerControl.Error={0} failed, please check server.log in {1}/logs for details. ServerControl.Falied={0} failed ServerControl.Success={0} success greenstone.version=Version 3.2 ServerSetting.SettingChanged=The new settings will be avaliable after the server restarted