public ProxyHTTP(String proxy_host) { int port=DEFAULTPORT; String host=proxy_host; if(proxy_host.indexOf(':')!=-1) { try { host=proxy_host.substring(0, proxy_host.indexOf(':')); port=Integer.parseInt(proxy_host.substring(proxy_host.indexOf(':')+1)); } catch(Exception e) { } } this.proxy_host=host; this.proxy_port=port; }
private bool isPattern(String path) { return path.indexOf("*")!=-1 || path.indexOf("?")!=-1; }