ArrayList<ConnectionInfo> settings = New.arrayList(); if (connInfoMap.size() == 0) { Properties prop = loadProperties(); if (prop.size() == 0) { for (String gen : GENERIC) {
try { if (prop == null) { Properties old = loadProperties(); prop = new SortedProperties(); prop.setProperty("webPort",
Properties prop = loadProperties(); port = SortedProperties.getIntProperty(prop, "webPort", Constants.DEFAULT_HTTP_PORT);
synchronized ArrayList getSettings() { ArrayList settings = new ArrayList(); if (connInfoMap.size() == 0) { Properties prop = loadProperties(); if (prop.size() == 0) { for (int i = 0; i < GENERIC.length; i++) { ConnectionInfo info = new ConnectionInfo(GENERIC[i]); settings.add(info); updateSetting(info); } } else { for (int i = 0;; i++) { String data = prop.getProperty(String.valueOf(i)); if (data == null) { break; } ConnectionInfo info = new ConnectionInfo(data); settings.add(info); updateSetting(info); } } } else { settings.addAll(connInfoMap.values()); } sortConnectionInfo(settings); return settings; }
ArrayList<ConnectionInfo> settings = New.arrayList(); if (connInfoMap.size() == 0) { Properties prop = loadProperties(); if (prop.size() == 0) { for (String gen : GENERIC) {
ArrayList<ConnectionInfo> settings = New.arrayList(); if (connInfoMap.size() == 0) { Properties prop = loadProperties(); if (prop.size() == 0) { for (String gen : GENERIC) {
try { if (prop == null) { Properties old = loadProperties(); prop = new SortedProperties(); prop.setProperty("webPort",
try { if (prop == null) { Properties old = loadProperties(); prop = new SortedProperties(); prop.setProperty("webPort",
public void init(String[] args) throws Exception { Properties prop = loadProperties(); driverList = prop.getProperty("drivers"); port = FileUtils.getIntProperty(prop, "webPort", Constants.DEFAULT_HTTP_PORT);
Properties prop = loadProperties(); port = SortedProperties.getIntProperty(prop, "webPort", Constants.DEFAULT_HTTP_PORT);
Properties prop = loadProperties(); port = SortedProperties.getIntProperty(prop, "webPort", Constants.DEFAULT_HTTP_PORT);