- Timestamp:
- 2009-04-15T14:53:44+12:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/src/java/org/greenstone/server/BaseServer.java
r18868 r18969 62 62 reloadConfigProperties(); 63 63 64 dictionary = new Dictionary("server", lang, this.getClass().getClassLoader()); 65 64 dictionary = new Dictionary("server", lang, this.getClass().getClassLoader()); 66 65 } 67 66 … … 69 68 { 70 69 String auto_start = config_properties.getProperty(BaseServer.Property.AUTOSTART, "true"); 71 72 70 if (auto_start.equals("true") || auto_start.equals("1")) { 73 71 String start_browser = config_properties.getProperty(BaseServer.Property.START_BROWSER, "true"); … … 78 76 else{ 79 77 start(); 80 } 78 } 79 80 server_control_.setState(java.awt.Frame.ICONIFIED); // minimise the server interface window 81 81 } else { 82 82 reload(); // browser URL or other important properties may not yet be initialised … … 86 86 } 87 87 88 // package access method 88 // package access methods 89 89 BaseServerControl getServerControl() { 90 90 return server_control_; … … 103 103 public abstract void reload(); // reload properties, since they may have changed 104 104 protected void preStop() {} 105 105 protected void postStart() {} 106 106 107 public void reconfigRequired() 107 108 { … … 126 127 recordError(CONFIGURE_CMD); 127 128 } 128 reload(); 129 reload(); // work out the browserURL again 129 130 configure_required_ = false; 130 131 } … … 137 138 if (state != RunTarget.SUCCESS){ 138 139 recordError(START_CMD); 139 server_state_ = SERVER_START_FAILED; 140 140 server_state_ = SERVER_START_FAILED; 141 141 } 142 142 else{ 143 143 recordSuccess(START_CMD); 144 144 server_state_ = SERVER_STARTED; 145 postStart(); 145 146 } 146 147
Note:
See TracChangeset
for help on using the changeset viewer.