3 function FindProxyForURL(url, host) {
4 alert('iteration: ' + g_iteration++);
14 dnsResolveEx('host1'),
17 dnsResolveEx('host6'),
22 for (var i = 0; i < ips.length; ++i) {
23 // Stringize everything.
27 var proxyHost = ips.join('-');
28 proxyHost = proxyHost.replace(/[^0-9a-zA-Z.-]/g, '_');
30 return "PROXY " + proxyHost + ":99";