/** * Get the list of connection information setting names. * * @return the connection info names */ String[] getSettingNames() { ArrayList<ConnectionInfo> list = getSettings(); String[] names = new String[list.size()]; for (int i = 0; i < list.size(); i++) { names[i] = list.get(i).name; } return names; }
private String settingRemove() { String setting = attributes.getProperty("name", ""); server.removeSetting(setting); ArrayList<ConnectionInfo> settings = server.getSettings(); if (!settings.isEmpty()) { attributes.put("setting", settings.get(0)); } server.saveProperties(null); return "index.do"; }
ArrayList<ConnectionInfo> settings = getSettings(); int len = settings.size(); for (int i = 0; i < len; i++) {
String[] getSettingNames() { ArrayList list = getSettings(); String[] names = new String[list.size()]; for (int i = 0; i < list.size(); i++) { names[i] = ((ConnectionInfo) list.get(i)).name; } return names; }
/** * Get the list of connection information setting names. * * @return the connection info names */ String[] getSettingNames() { ArrayList<ConnectionInfo> list = getSettings(); String[] names = new String[list.size()]; for (int i = 0; i < list.size(); i++) { names[i] = list.get(i).name; } return names; }
/** * Get the list of connection information setting names. * * @return the connection info names */ String[] getSettingNames() { ArrayList<ConnectionInfo> list = getSettings(); String[] names = new String[list.size()]; for (int i = 0; i < list.size(); i++) { names[i] = list.get(i).name; } return names; }
private String settingRemove() { String setting = attributes.getProperty("name", ""); server.removeSetting(setting); ArrayList<ConnectionInfo> settings = server.getSettings(); if (settings.size() > 0) { attributes.put("setting", settings.get(0)); } server.saveProperties(null); return "index.do"; }
private String settingRemove() { String setting = attributes.getProperty("name", ""); server.removeSetting(setting); ArrayList settings = server.getSettings(); if (settings.size() > 0) { attributes.put("setting", settings.get(0)); } server.saveSettings(); return "index.do"; }
private String settingRemove() { String setting = attributes.getProperty("name", ""); server.removeSetting(setting); ArrayList<ConnectionInfo> settings = server.getSettings(); if (settings.size() > 0) { attributes.put("setting", settings.get(0)); } server.saveProperties(null); return "index.do"; }
synchronized void saveSettings() { try { Properties prop = new SortedProperties(); if (driverList != null) { prop.setProperty("drivers", driverList); } prop.setProperty("webPort", String.valueOf(port)); prop.setProperty("webAllowOthers", String.valueOf(allowOthers)); prop.setProperty("webSSL", String.valueOf(ssl)); ArrayList settings = getSettings(); int len = settings.size(); for (int i = 0; i < len; i++) { ConnectionInfo info = (ConnectionInfo) settings.get(i); if (info != null) { prop.setProperty(String.valueOf(len - i - 1), info.getString()); } } OutputStream out = FileUtils.openFileOutputStream(getPropertiesFileName(), false); prop.store(out, Constants.SERVER_PROPERTIES_TITLE); out.close(); } catch (Exception e) { TraceSystem.traceThrowable(e); } }
ArrayList<ConnectionInfo> settings = getSettings(); int len = settings.size(); for (int i = 0; i < len; i++) {
ArrayList<ConnectionInfo> settings = getSettings(); int len = settings.size(); for (int i = 0; i < len; i++) {