Changeset 18708 for greenstone3
- Timestamp:
- 2009-03-18T19:00:09+13:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/src/java/org/greenstone/server/Server3Settings.java
r18696 r18708 17 17 18 18 public class Server3Settings extends BaseServerSettings 19 { 20 protected String servletDefault = null; 21 protected JComboBox servlet_combobox; 22 protected HashMap url_mappings = null; 19 23 20 {21 24 public Server3Settings(BaseServer server) 22 25 { 23 26 super(server); 24 this.servletDefault = server.build_properties.getProperty(BaseServer.Property.DEFAULT_SERVLET).replaceAll("/","");25 27 } 26 28 27 29 protected JPanel createServletPanel() 28 30 { 29 30 31 JLabel servlet_label = new JLabel(server.dictionary.get(BaseServer.Property.SERVER_SETTINGS+".URL")); 31 32 33 this.servletDefault = server.build_properties.getProperty(BaseServer.Property.DEFAULT_SERVLET).replaceAll("/",""); 34 32 35 servlet_combobox = new JComboBox(); 33 36 servlet_combobox.setMaximumRowCount(5); … … 57 60 } 58 61 59 if ( name.equals(servletDefault)) {62 if (pattern.replaceAll("/","").equals(servletDefault)) { 60 63 servlet_combobox.setSelectedItem(name); 61 64 } … … 71 74 } 72 75 76 public String onSave() 77 { 78 String result = ""; 79 if (!servletDefault.equals((String)url_mappings.get(servlet_combobox.getSelectedItem()))) { 80 result += "changed"; 81 result += "restart"; 82 } 83 return result; 84 } 85 86 public void save(ScriptReadWrite scriptReadWrite, ArrayList newFileLines) 87 { 88 String newServletDef = (String) servlet_combobox.getSelectedItem(); 89 newFileLines = scriptReadWrite.queryReplace(newFileLines,BaseServer.Property.DEFAULT_SERVLET, (String) url_mappings.get(newServletDef)); 90 } 91 73 92 }
Note:
See TracChangeset
for help on using the changeset viewer.