+ /** detects proxy settings */
+ public static synchronized HTTP.ProxyInfo detectProxy() {
+
+ if (cachedProxyInfo != null) return cachedProxyInfo;
+ if (alreadyDetectedProxy) return null;
+ alreadyDetectedProxy = true;
+
+ if (Log.on) Log.log(Platform.class, "attempting xwt-proxy DNS proxy detection");
+ cachedProxyInfo = HTTP.ProxyInfo.detectProxyViaManual();
+ if (cachedProxyInfo != null) return cachedProxyInfo;
+
+ if (Log.on) Log.log(Platform.class, "attempting " + platform.getClass().getName() + " proxy detection");
+ cachedProxyInfo = platform._detectProxy();
+ if (cachedProxyInfo != null) return cachedProxyInfo;
+
+ if (Log.on) Log.log(Platform.class, "attempting WPAD proxy detection");
+ cachedProxyInfo = HTTP.ProxyInfo.detectProxyViaWPAD();
+ if (cachedProxyInfo != null) return cachedProxyInfo;
+
+ return cachedProxyInfo;
+ }
+