} else {
dataMan.disableOptimizer();
}
} catch (Exception e) {
e.printStackTrace();
throw new OperationAbortedEx("Parameters saved but cannot restart Lucene Index Optimizer: "+e.getMessage());
}
try {
// Load proxy information into Jeeves
ProxyInfo pi = JeevesProxyInfo.getInstance();
boolean useProxy = settingMan.getValueAsBool(SettingManager.SYSTEM_PROXY_USE, false);
if (useProxy) {
String proxyHost = settingMan.getValue(SettingManager.SYSTEM_PROXY_HOST);
String proxyPort = settingMan.getValue(SettingManager.SYSTEM_PROXY_PORT);
String username = settingMan.getValue(SettingManager.SYSTEM_PROXY_USERNAME);
String password = settingMan.getValue(SettingManager.SYSTEM_PROXY_PASSWORD);
pi.setProxyInfo(proxyHost, Integer.valueOf(proxyPort), username, password);
}
} catch (Exception e) {
e.printStackTrace();
throw new OperationAbortedEx("Parameters saved but cannot set proxy information: " + e.getMessage());
}
// FIXME: should also restart the Z server?
}