/**
Initialises proxy, if any specified.
*/
static void proxyInit(Properties props){
String proxy_list;
Proxy proxy = null;
StringTokenizer st;
proxy_list = (String) props.get("proxy");
if(proxy_list == null) return;
st = new StringTokenizer(proxy_list,";");
while(st.hasMoreTokens()){
String proxy_entry = st.nextToken();
Proxy p = Proxy.parseProxy(proxy_entry);
if(p == null)
exit("Can't parse proxy entry:"+proxy_entry);
inform("Adding Proxy:"+p);
if(proxy != null)
p.setChainProxy(proxy);
proxy = p;
}
if(proxy == null) return; //Empty list