void configureProxy() {
if (Prefs.useSystemProxies) {
try {
System.setProperty("java.net.useSystemProxies", "true");
} catch (Exception e) {
}
} else {
String server = Prefs.get("proxy.server", null);
if (server == null || server.equals("")) return;
int port = (int) Prefs.get("proxy.port", 0);
if (port == 0) return;
Properties props = System.getProperties();
props.put("proxySet", "true");
props.put("http.proxyHost", server);
props.put("http.proxyPort", "" + port);
}
// new ProxySettings().logProperties();
}
