Code: Select all
funnction FindProxyForURL(url, host) {
if (url.substring(0, 5) == "http:") {
if (
dnsDomainIs(host, ".campusnet.iot.dk") ||
isInNet( host,"130.225.95.213", "255.255.255.255")
)
return "PROXY proxy.kollegie.dk:3128; DIRECT";
if (
isPlainHostName( host) ||
dnsDomainIs( host, ".ou.dk") ||
dnsDomainIs( host, ".sdu.dk") ||
dnsDomainIs( host, ".dou.dk") ||
dnsDomainIs( host, ".kollegie.dk") ||
dnsDomainIs( host, ".kollegienet.dk") ||
dnsDomainIs( host, "localhost") ||
isInNet( host, "130.225.128.0", "255.255.224.0") ||
isInNet( host, "130.225.160.0", "255.255.252.0") ||
isInNet( host, "130.226.191.0", "255.255.255.0") ||
isInNet( host, "130.226.192.0", "255.255.254.0") ||
isInNet( host, "130.226.194.0", "255.255.255.0") ||
isInNet( host, "130.225.239.0", "255.255.255.0") ||
isInNet( host, "130.226.8.0", "255.255.254.0") ||
isInNet( host, "130.226.10.0", "255.255.255.0") ||
isInNet( host, "130.226.80.0", "255.255.240.0") ||
isInNet( host, "172.16.0.0", "255.255.0.0") ||
isInNet( host, "172.17.0.0", "255.255.0.0") ||
isInNet( host, "127.0.0.1", "255.255.255.255")
)
return "DIRECT";
else
return "PROXY proxy.kollegie.dk:3128; DIRECT";
}
else if (url.substring(0, 6) == "https:") {
if (
dnsDomainIs(host, ".campusnet.iot.dk") ||
isInNet( host,"130.225.95.213", "255.255.255.255")
)
return "PROXY proxy.kollegie.dk:3128; DIRECT";
if (
isPlainHostName( host) ||
dnsDomainIs( host, ".ou.dk") ||
dnsDomainIs( host, ".sdu.dk") ||
dnsDomainIs( host, ".dou.dk") ||
dnsDomainIs( host, ".kollegie.dk") ||
dnsDomainIs( host, ".kollegienet.dk") ||
dnsDomainIs( host, "localhost") ||
isInNet( host, "130.225.128.0", "255.255.224.0") ||
isInNet( host, "130.225.160.0", "255.255.252.0") ||
isInNet( host, "130.226.191.0", "255.255.255.0") ||
isInNet( host, "130.226.192.0", "255.255.254.0") ||
isInNet( host, "130.226.194.0", "255.255.255.0") ||
isInNet( host, "130.225.239.0", "255.255.255.0") ||
isInNet( host, "130.226.8.0", "255.255.254.0") ||
isInNet( host, "130.226.10.0", "255.255.255.0") ||
isInNet( host, "130.226.80.0", "255.255.240.0") ||
isInNet( host, "172.16.0.0", "255.255.0.0") ||
isInNet( host, "172.17.0.0", "255.255.0.0") ||
isInNet( host, "127.0.0.1", "255.255.255.255")
)
return "DIRECT";
else
return "PROXY proxy.kollegie.dk:3128; DIRECT";
}
else if (url.substring(0, 4) == "ftp:") {
if (
isPlainHostName( host) ||
dnsDomainIs( host, ".ou.dk") ||
dnsDomainIs( host, ".sdu.dk") ||
dnsDomainIs( host, ".dou.dk") ||
dnsDomainIs( host, ".kollegie.dk") ||
dnsDomainIs( host, ".kollegienet.dk") ||
dnsDomainIs( host, "localhost") ||
isInNet( host, "130.225.128.0", "255.255.224.0") ||
isInNet( host, "130.225.160.0", "255.255.252.0") ||
isInNet( host, "130.226.191.0", "255.255.255.0") ||
isInNet( host, "130.226.192.0", "255.255.254.0") ||
isInNet( host, "130.226.194.0", "255.255.255.0") ||
isInNet( host, "130.225.239.0", "255.255.255.0") ||
isInNet( host, "130.226.8.0", "255.255.254.0") ||
isInNet( host, "130.226.10.0", "255.255.255.0") ||
isInNet( host, "130.226.80.0", "255.255.240.0") ||
isInNet( host, "172.16.0.0", "255.255.0.0") ||
isInNet( host, "172.17.0.0", "255.255.0.0") ||
isInNet( host, "127.0.0.1", "255.255.255.255")
)
return "DIRECT";
else
return "PROXY proxy.kollegie.dk:3128; DIRECT";
}
else if (url.substring(0, 7) == "gopher:") {
if (
isPlainHostName( host) ||
dnsDomainIs( host, ".ou.dk") ||
dnsDomainIs( host, ".sdu.dk") ||
dnsDomainIs( host, ".dou.dk") ||
dnsDomainIs( host, ".kollegie.dk") ||
dnsDomainIs( host, ".kollegienet.dk") ||
dnsDomainIs( host, "localhost") ||
isInNet( host, "130.225.128.0", "255.255.224.0") ||
isInNet( host, "130.225.160.0", "255.255.252.0") ||
isInNet( host, "130.226.191.0", "255.255.255.0") ||
isInNet( host, "130.226.192.0", "255.255.254.0") ||
isInNet( host, "130.226.194.0", "255.255.255.0") ||
isInNet( host, "130.225.239.0", "255.255.255.0") ||
isInNet( host, "130.226.8.0", "255.255.254.0") ||
isInNet( host, "130.226.10.0", "255.255.255.0") ||
isInNet( host, "130.226.80.0", "255.255.240.0") ||
isInNet( host, "172.16.0.0", "255.255.0.0") ||
isInNet( host, "172.17.0.0", "255.255.0.0") ||
isInNet( host, "127.0.0.1", "255.255.255.255")
)
return "DIRECT";
else
return "PROXY proxy.kollegie.dk:3128; DIRECT";
}
else {
return "DIRECT";
}
}