1 // Return a single-proxy result, which encodes ALL the arguments that were 2 // passed to FindProxyForURL(). 3 4 function FindProxyForURL(url, host) { 5 if (arguments.length != 2) { 6 throw "Wrong number of arguments passed to FindProxyForURL!"; 7 return "FAIL"; 8 } 9 10 return "PROXY " + makePseudoHost(url + "." + host); 11 } 12 13 // Form a string that kind-of resembles a host. We will replace any 14 // non-alphanumeric character with a dot, then fix up the oddly placed dots. 15 function makePseudoHost(str) { 16 var result = ""; 17 18 for (var i = 0; i < str.length; ++i) { 19 var c = str.charAt(i); 20 if (!isValidPseudoHostChar(c)) { 21 c = '.'; // Replace unsupported characters with a dot. 22 } 23 24 // Take care not to place multiple adjacent dots, 25 // a dot at the beginning, or a dot at the end. 26 if (c == '.' && 27 (result.length == 0 || 28 i == str.length - 1 || 29 result.charAt(result.length - 1) == '.')) { 30 continue; 31 } 32 result += c; 33 } 34 return result; 35 } 36 37 function isValidPseudoHostChar(c) { 38 if (c >= '0' && c <= '9') 39 return true; 40 if (c >= 'a' && c <= 'z') 41 return true; 42 if (c >= 'A' && c <= 'Z') 43 return true; 44 return false; 45 } 46
