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))
public native void natInit(boolean framed);
public Win32Surface(Box b, final boolean framed) {
super(b);
- if (Log.on) Log.log(this, "before, hwnd = " + hwnd);
- if (Log.on) Log.log(this, "before, hdc = " + hdc);
natInit(framed);
- if (Log.on) Log.log(this, "after, hwnd = " + hwnd);
- if (Log.on) Log.log(this, "after, hdc = " + hdc);
hwndToWin32SurfaceMap.put(new Integer(hwnd), this);
}