- Timestamp:
- 2009-03-18T19:03:27+13:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/src/java/org/greenstone/server/BaseServerSettings.java
r18696 r18710 13 13 14 14 public abstract class BaseServerSettings extends JDialog 15 16 15 { 17 18 16 static Logger logger = Logger.getLogger(BaseServerSettings.class.getName()); 19 17 static final int DEFPORT = 8080; 20 18 21 19 JCheckBox autoEnter; 22 JComboBox servlet_combobox;23 20 24 21 protected JSpinner portNumber_spinner = null; … … 34 31 protected int portNum = DEFPORT; 35 32 protected boolean autoStart = false; 36 protected String servletDefault = null;37 33 protected String browserPath = ""; 38 34 protected boolean useDefaultBrowser = true; 39 35 40 protected HashMap url_mappings = null;41 36 protected JDialog self; 42 37 protected BaseServer server; … … 44 39 public BaseServerSettings(BaseServer server) 45 40 { 46 super( (Frame)null, "", true);41 super(server.getServerControl(), "", true); 47 42 this.self = this; 48 43 this.server = server; … … 82 77 83 78 portNumber_spinner = new JSpinner(new SpinnerNumberModel(portNum,1,65535,1)); 84 portNumber_spinner.setEditor(new JSpinner.NumberEditor(portNumber_spinner, "#####")); 79 portNumber_spinner.setEditor(new JSpinner.NumberEditor(portNumber_spinner, "#####")); 85 80 86 81 autoEnter = new JCheckBox(server.dictionary.get("ServerSettings.Auto_Start")); … … 186 181 187 182 183 protected String onSave() { return ""; } 184 protected void save(ScriptReadWrite scriptReadWrite, ArrayList newFileLines) {} 188 185 protected abstract JPanel createServletPanel(); 189 186 … … 238 235 has_changed = true; 239 236 } 240 if(servletDefault != null && servlet_combobox != null) { 241 if (!servletDefault.equals(servlet_combobox.getSelectedItem())) { 242 has_changed = true; 243 require_restart = true; 244 } 245 } 237 238 // call subclass' onSave method 239 String result = onSave(); 240 if(result.indexOf("changed") != -1) { 241 has_changed = true; 242 } 243 if(result.indexOf("restart") != -1) { 244 require_restart = true; 245 } 246 246 247 //changed to use other browser 247 248 if (useDefaultBrowser && other_browser_button.isSelected()){ … … 274 275 newFileLines = scriptReadWrite.queryReplace(newFileLines, BaseServer.Property.AUTOSTART, newAutoEnter); 275 276 276 String newServletDef = (String) servlet_combobox.getSelectedItem();277 newFileLines = scriptReadWrite.queryReplace(newFileLines,BaseServer.Property.DEFAULT_SERVLET, (String) url_mappings.get(newServletDef));278 277 // call the subclass' save() method to save custom elements 278 save(scriptReadWrite, newFileLines); 279 279 280 String osName = System.getProperty("os.name"); 280 281 if (osName.startsWith("Windows")){
Note:
See TracChangeset
for help on using the changeset viewer.