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;
}
