Ignore:
Timestamp:
2009-03-16T17:40:58+13:00 (15 years ago)
Author:
ak19
Message:

Changes to server.properties files so that the one for GS2 can be merged with the one for GS3. Corresponding changes in the java code.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • greenstone3/trunk/src/java/org/greenstone/server/BaseServerSettings.java

    r18690 r18693  
    8181    setDefaultCloseOperation(DO_NOTHING_ON_CLOSE);
    8282
    83     JLabel port_label = new JLabel(BaseServer.dictionary.get("ServerSettings.Tomcat_Port"));
     83    JLabel port_label = new JLabel(BaseServer.dictionary.get(BaseServer.Property.SERVER_SETTINGS+".Port"));
    8484
    8585    portNumber_spinner = new JSpinner(new SpinnerNumberModel(portNum,1,65535,1));
Note: See TracChangeset for help on using the changeset viewer.