manuel-rhdt

function FindProxyForURL(url, host) {
  if (dnsDomainIs(host, ".amolf.nl")) {
    return "SOCKS 10.0.0.4:1080";
  } else {
    return "DIRECT";
  }
}