Changeset 18696
- Timestamp:
- 2009-03-16T19:01:41+13:00 (14 years ago)
- Location:
- greenstone3/trunk/src/java/org/greenstone/server
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/src/java/org/greenstone/server/BaseServerSettings.java
r18693 r18696 71 71 this.autoStart = false; 72 72 } 73 74 this.servletDefault = server.build_properties.getProperty(BaseServer.Property.DEFAULT_SERVLET).replaceAll("/","");75 73 76 74 setSize(SIZE); … … 240 238 has_changed = true; 241 239 } 242 if (!servletDefault.equals(servlet_combobox.getSelectedItem())) { 243 has_changed = true; 244 require_restart = true; 240 if(servletDefault != null && servlet_combobox != null) { 241 if (!servletDefault.equals(servlet_combobox.getSelectedItem())) { 242 has_changed = true; 243 require_restart = true; 244 } 245 245 } 246 246 //changed to use other browser … … 281 281 browserPath = browserPath.replaceAll("\\\\","/"); 282 282 } 283 283 newFileLines = scriptReadWrite.queryReplace(newFileLines,BaseServer.Property.BROWSER_PATH, browserPath); 284 284 285 285 scriptReadWrite.writeOutFile(BaseServer.build_properties_file, -
greenstone3/trunk/src/java/org/greenstone/server/Server3Settings.java
r18693 r18696 22 22 { 23 23 super(server); 24 this.servletDefault = server.build_properties.getProperty(BaseServer.Property.DEFAULT_SERVLET).replaceAll("/",""); 24 25 } 25 26
Note:
See TracChangeset
for help on using the changeset viewer.