- Timestamp:
- 2009-09-23T14:40:00+12:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/src/java/org/greenstone/server/BaseServer.java
r20632 r20687 80 80 server_control_.setState(java.awt.Frame.ICONIFIED); // minimise the server interface window 81 81 } else { 82 if (configure_required_){ 83 server_control_.displayMessage(dictionary.get("ServerControl.Configuring")); 84 int state = runTarget(CONFIGURE_CMD); 85 86 if (state != RunTarget.SUCCESS){ 87 recordError(CONFIGURE_CMD); 88 } 89 } 82 90 reload(); // browser URL or other important properties may not yet be initialised 91 configure_required_ = false; 92 83 93 server_state_ = START_SERVER; 84 94 server_control_.updateControl();
Note:
See TracChangeset
for help on using the changeset viewer.