2002/05/16 04:28:23

[org.ibex.core.git] / src / org / xwt / plat / Win32.java

diff --git a/src/org/xwt/plat/Win32.java b/src/org/xwt/plat/Win32.java
index 33efa69..a32d29b 100644 (file)
--- a/src/org/xwt/plat/Win32.java
+++ b/src/org/xwt/plat/Win32.java
@@ -28,7 +28,7 @@ public class Win32 extends GCJ {
     static int hand_cursor = 0;
     
     /** reverse lookup from hwnd to Win32Surface */
-    public static Hash hwndToWin32SurfaceMap = new Hash();
+    public static Hashtable hwndToWin32SurfaceMap = new Hashtable();
 
     /** lets us know that natInit() is finished */
     public static Semaphore messagePumpStarted = new Semaphore();
@@ -117,6 +117,62 @@ public class Win32 extends GCJ {
     protected native String _getClipBoard();
     protected native void _setClipBoard(String s);
 
+    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;
+            if (s.indexOf(':') == -1) continue;
+            String protocol = s.substring(0, s.indexOf('='));
+            String 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;
+    }
+
+    protected native boolean _newBrowserWindow_(String url);
+    protected void _newBrowserWindow(String url) {
+        if (!_newBrowserWindow_(url))
+            if (Log.on) Log.log(this, "ShellExecuteEx() failed trying to open url " + url);
+    }
 
     // Win32Surface ////////////////////////////////////////////////////////////////////////////