root/gsdl/trunk/lib/java/server.properties @ 20870

Revision 20870, 2.0 KB (checked in by ak19, 10 years ago)

Fixed a bug that Diego Spano found: in the Settings dialog, the browser path for the Other Browser option was not getting saved previously. Updated server.jar.

Line 
1#greenstone.version=Version 2-trunk
2Server2Settings.Port=Apache port:
3Server2Settings.URL=Library URL prefix:
4Server2Settings.ExternalAccess=Allow external connections
5Server2Settings.AddressResolutionMethod=Address resolution method
6Server2Settings.ResolveIP=Get local IP and resolve to a name
7Server2Settings.LocalIP=Get local IP
8Server2Settings.AlwaysUse=Always use
9Server2Control.Version=Version 2-trunk
10Server2Control.Title=Greenstone 2 Digital Library
11
12#greenstone.version=Version 3.2
13Server3Settings.Port=Tomcat port:
14Server3Settings.URL=Servlet:
15Server3Control.Version=Version 3-trunk
16Server3Control.Title=Greenstone3 Digital Library
17
18ServerSettings.Title=Server settings
19ServerSettings.Auto_Start=Enter the library automatically
20ServerSettings.OK=OK
21ServerSettings.Cancel=Cancel
22ServerSettings.DefaultBrowser=Default browser
23ServerSettings.OtherBrowser=Other browser
24ServerSettings.ChooseBrowser=Enter library using:
25ServerSettings.Browse=Browse
26ServerSettings.SettingChanged=The new settings will be available after the server has been restarted.
27
28ServerControl.EnterLibrary=Enter Library
29ServerControl.RestartLibrary=Restart Library
30ServerControl.StartServer=Start Server
31ServerControl.Frame_Title=Greenstone Server
32ServerControl.Help_RestartLibrary=Press the 'Restart Library' button to restart the server, launch a browser and enter the library.\nYou can change server settings from the File menu.
33ServerControl.Help_EnterLibrary=Press the 'Enter Library' button to launch a browser and enter the library.\nYou can change server settings from the File menu.
34ServerControl.Starting=Starting server...
35ServerControl.Configuring=Configuring server...
36ServerControl.Stopping=Stopping server...
37ServerControl.LaunchingBrowser=Launching browser...
38ServerControl.LaunchBrowser=Launch browser
39ServerControl.Menu.File=File
40ServerControl.Menu.Settings=Settings...
41ServerControl.Menu.Exit=Exit
42ServerControl.Error={0} failed, please check server.log in {1} for details.
43ServerControl.Failed={0} failed
44ServerControl.Success={0} success
Note: See TracBrowser for help on using the browser.