var NO_PROXY = "$NOPROXY_EXTS$"; | |
function FindProxyForURL(url, host) { | |
if( url.substring(0,5) == "http:" ) { | |
if( NO_PROXY.length > 0 && url.indexOf("?") == -1 ) { | |
var extPos = url.lastIndexOf("."); | |
if( extPos != -1 ) { | |
if( NO_PROXY.indexOf("|"+url.substring(extPos+1).toLowerCase()+"|") != -1 ) { | |
return "$HTTP_DIRECT$"; | |
} | |
} | |
} | |
return "$HTTP_PROXY$"; | |
} | |
if( url.substring(0,6) == "https:" ) { | |
return "$HTTPS_DIRECT$"; | |
} | |
if( url.substring(0,4) == "ftp:" ) { | |
return "$FTP_DIRECT$"; | |
} | |
if( url.substring(0,7) == "gopher:" ) { | |
return "$GOPHER_DIRECT$"; | |
} | |
return "DIRECT"; | |
} |