+ private native void __detectProxy(String[] container);
+
+ protected synchronized HTTP.ProxyInfo _detectProxy() {
+
+ String[] container = new String[] { null, null, null };
+ if (Log.on) Log.log(this, "accessing Win32 registry");
+ __detectProxy(container);
+ if (container[2] == null && container[0] == null) {
+ if (Log.on) Log.log(this, "no proxy settings in the Win32 registry");
+ return null;
+ }
+
+ if (Log.on) Log.log(this, "PAC Script URL: " + container[2]);
+ if (Log.on) Log.log(this, "Proxy Server String: " + container[0]);
+ if (Log.on) Log.log(this, "Proxy Override String: " + container[1]);
+
+ HTTP.ProxyInfo ret = new HTTP.ProxyInfo();
+ if (container[2] != null) {
+ ret.proxyAutoConfigFunction = HTTP.ProxyInfo.getProxyAutoConfigFunction(container[2]);
+ if (ret.proxyAutoConfigFunction != null) return ret;
+ }
+
+ if (container[0] == null) return null;
+ StringTokenizer st = new StringTokenizer(container[0], ";", false);
+ while(st.hasMoreTokens()) try {
+ String s = st.nextToken().trim();
+ if (s.indexOf(':') == -1) continue;
+ String protocol, host;
+ if (s.indexOf('=') == -1) {
+ protocol = "http";
+ host = s.substring(0, s.indexOf(':'));
+ } else {
+ protocol = s.substring(0, s.indexOf('='));
+ host = s.substring(s.indexOf('=') + 1, s.indexOf(':'));
+ }
+ int port = Integer.parseInt(s.substring(s.indexOf(':') + 1));
+ if (protocol.equals("http")) {
+ ret.httpProxyHost = host;
+ ret.httpProxyPort = port;
+ } else if (protocol.equals("https")) {
+ ret.httpsProxyHost = host;
+ ret.httpsProxyPort = port;
+ } else if (protocol.equals("socks")) {
+ ret.socksProxyHost = host;
+ ret.socksProxyPort = port;
+ }
+ } catch (NumberFormatException nfe) { }
+
+ if (container[1] != null) {
+ st = new StringTokenizer(container[1], ";", false);
+ ret.excluded = new String[st.countTokens()];
+ for(int i=0; st.hasMoreTokens(); i++) ret.excluded[i] = st.nextToken();
+ }
+ return ret;
+ }
+