Changeset 19792
- Timestamp:
- 2009-06-10T14:45:53+12:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/src/java/org/greenstone/server/BaseServerControl.java
r19005 r19792 135 135 switch (server.getServerState()){ 136 136 case BaseServer.START_SERVER: 137 { 138 info_label.setText(stringToHTML(BaseServer.dictionary.get("ServerControl.Help_EnterLibrary"))); 139 enter_button.setText(stringToHTML(BaseServer.dictionary.get("ServerControl.EnterLibrary"))); 140 enter_button.setEnabled(true); 141 fMenu.setEnabled(true); 142 break; 143 } 137 144 case BaseServer.SERVER_STARTED: 138 145 { 139 info_label.setText(stringToHTML(BaseServer.dictionary.get("ServerControl.Help_EnterLibrary"))); 140 enter_button.setEnabled(true); 141 fMenu.setEnabled(true); 142 break; 146 info_label.setText(stringToHTML(BaseServer.dictionary.get("ServerControl.Help_RestartLibrary"))); 147 enter_button.setText(stringToHTML(BaseServer.dictionary.get("ServerControl.RestartLibrary"))); 148 enter_button.setEnabled(true); 149 fMenu.setEnabled(true); 150 break; 143 151 } 144 152 case BaseServer.SERVER_START_FAILED: … … 164 172 enter_button.setEnabled(true); 165 173 fMenu.setEnabled(true); 166 break; 167 } 168 default:{ 169 enter_button.setText(BaseServer.dictionary.get("ServerControl.EnterLibrary")); 170 enter_button.setEnabled(false); 171 fMenu.setEnabled(false); 172 } 174 break; 175 } 176 default: 177 { 178 enter_button.setText(BaseServer.dictionary.get("ServerControl.EnterLibrary")); 179 enter_button.setEnabled(false); 180 fMenu.setEnabled(false); 181 } 173 182 } 174 183 }
Note:
See TracChangeset
for help on using the changeset viewer.