- Timestamp:
- 2009-03-16T17:40:58+13:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/src/java/org/greenstone/server/BaseServerSettings.java
r18690 r18693 81 81 setDefaultCloseOperation(DO_NOTHING_ON_CLOSE); 82 82 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")); 84 84 85 85 portNumber_spinner = new JSpinner(new SpinnerNumberModel(portNum,1,65535,1));
Note:
See TracChangeset
for help on using the changeset viewer.