Proxy-Auto-Konfigurationsdatei (PAC-Datei)

url

Die aufgerufene URL. Die Pfad- und Abfragekomponenten von https://-URLs werden entfernt. In Chrome (Versionen 52 bis 73) kann dies durch Setzen von PacHttpsUrlStrippingEnabled auf false in der Richtlinie deaktiviert werden oder durch Starten mit dem Kommandozeilen-Flag --unsafe-pac-url (in Chrome 74 funktioniert nur das Flag, und ab Version 75 gibt es keine Möglichkeit mehr, das Entfernen von Pfaden zu deaktivieren; ab Chrome 81 gilt das Entfernen von Pfaden nicht für HTTP-URLs, aber es gibt Interesse daran, dieses Verhalten anzupassen, um HTTPS zu entsprechen); in Firefox ist dies über die Voreinstellung network.proxy.autoconfig_url.include_path möglich.

host

Der aus der URL extrahierte Hostname. Dies ist nur zur Bequemlichkeit; es ist derselbe String, der zwischen :// und dem ersten : oder / danach liegt. Die Portnummer ist in diesem Parameter nicht enthalten. Sie kann bei Bedarf aus der URL extrahiert werden.

Gibt einen String zurück, der die Konfiguration beschreibt. Das Format dieses Strings ist unten im Abschnitt Rückgabewertformat definiert.

• Die JavaScript-Funktion gibt einen einzelnen String zurück
• Wenn der String null ist, sollten keine Proxys verwendet werden
• Der String kann beliebig viele der folgenden Bausteine enthalten, getrennt durch ein Semikolon:

DIRECT

Verbindungen sollten direkt, ohne Proxys, hergestellt werden

PROXY host:port

Der angegebene Proxy sollte verwendet werden

SOCKS host:port

Der angegebene SOCKS-Server sollte verwendet werden

Neuere Versionen von Firefox unterstützen außerdem:

HTTP host:port

Der angegebene Proxy sollte verwendet werden

HTTPS host:port

Der angegebene HTTPS-Proxy sollte verwendet werden

SOCKS4 host:port, SOCKS5 host:port

Der angegebene SOCKS-Server (mit der angegebenen SOCKS-Version) sollte verwendet werden

Wenn mehrere durch Semikolon getrennte Einstellungen vorhanden sind, wird die linksstehende Einstellung verwendet, bis Firefox die Verbindung zum Proxy nicht herstellen kann. In diesem Fall wird der nächste Wert verwendet, usw.

Der Browser wird automatisch einen zuvor nicht erreichbaren Proxy nach 30 Minuten erneut versuchen. Weitere Versuche beginnen nach einer Stunde, wobei immer 30 Minuten zur vergangenen Zeit zwischen den Versuchen hinzugefügt werden.

Wenn alle Proxys ausgefallen sind und keine DIRECT-Option angegeben wurde, wird der Browser fragen, ob Proxys vorübergehend ignoriert werden sollen und direkte Verbindungen versucht werden sollen. Nach 20 Minuten wird der Browser fragen, ob Proxys erneut versuchen werden sollen, und nach weiteren 40 Minuten erneut fragen. Die Anfragen werden fortgesetzt, wobei immer 20 Minuten zur vergangenen Zeit zwischen den Anfragen hinzugefügt werden.

Beispiele

PROXY w3proxy.netscape.com:8080; PROXY mozilla.netscape.com:8081

Der primäre Proxy ist w3proxy:8080; wenn dieser ausfällt, wird mozilla:8081 verwendet, bis der primäre Proxy wieder verfügbar ist.

PROXY w3proxy.netscape.com:8080; PROXY mozilla.netscape.com:8081; DIRECT

Wie oben, aber wenn beide Proxys ausfallen, werden automatisch direkte Verbindungen hergestellt. (Im ersten Beispiel oben wird Netscape eine Benutzerbestätigung über direkte Verbindungen anfordern; in diesem Fall ist keine Benutzerintervention erforderlich.)

PROXY w3proxy.netscape.com:8080; SOCKS socks:1080

SOCKS wird verwendet, wenn der primäre Proxy ausfällt.

Die Auto-Konfigurationsdatei sollte mit einem .pac-Dateierweiterung gespeichert werden: proxy.pac.

Und der MIME-Typ sollte auf application/x-ns-proxy-autoconfig gesetzt werden.

Als Nächstes sollten Sie Ihren Server so konfigurieren, dass die .pac-Dateierweiterung dem MIME-Typ zugeordnet wird.

Diese Funktionen können beim Erstellen der PAC-Datei verwendet werden:

• Hostname-basierte Bedingungen

  • isPlainHostName()
  • dnsDomainIs()
  • localHostOrDomainIs()
  • isResolvable()
  • isInNet()

• Verwandte Hilfsfunktionen

  • dnsResolve()
  • convert_addr()
  • myIpAddress()
  • dnsDomainLevels()

• URL/hostname basierte Bedingungen

  • shExpMatch()

• Zeitbasierte Bedingungen

  • weekdayRange()
  • dateRange()
  • timeRange()

• Logging-Utility

  • alert()

• Es gab ein assoziatives Array (Objekt), das bereits definiert war, weil JavaScript-Code zu dieser Zeit nicht in der Lage war, es selbst zu definieren:

  • ProxyConfig.bindings Veraltet

Syntax

isPlainHostName(host)

Parameter

host

Der Hostname aus der URL (ohne Portnummer).

Beschreibung

Liefert true, wenn und nur wenn kein Domainname im Hostnamen enthalten ist (keine Punkte).

Beispiele

isPlainHostName("www.mozilla.org"); // false
isPlainHostName("www"); // true

Syntax

dnsDomainIs(host, domain)

Parameter

host

Ist der Hostname aus der URL.

domain

Ist der Domainname, mit dem der Hostname getestet werden soll.

Beschreibung

Liefert true, wenn und nur wenn die Domain des Hostnamens übereinstimmt.

Beispiele

dnsDomainIs("www.mozilla.org", ".mozilla.org") // true
dnsDomainIs("www", ".mozilla.org") // false

Syntax

localHostOrDomainIs(host, hostDom)

Parameter

host

Der Hostname aus der URL.

hostDom

Vollständiger Hostname, mit dem verglichen werden soll.

Beschreibung

Ist true, wenn der Hostname exakt dem angegebenen Hostnamen entspricht oder wenn kein Domainname im Hostnamen vorhanden ist, aber der unqualifizierte Hostname übereinstimmt.

Beispiele

localHostOrDomainIs("www.mozilla.org", "www.mozilla.org") // true (exact match)
localHostOrDomainIs("www", "www.mozilla.org") // true (hostname match, domain not specified)
localHostOrDomainIs("www.google.com", "www.mozilla.org") // false (domain name mismatch)
localHostOrDomainIs("home.mozilla.org", "www.mozilla.org") // false (hostname mismatch)

Syntax

isResolvable(host)

Parameter

host

ist der Hostname aus der URL.

Versucht, den Hostnamen aufzulösen. Gibt true zurück, wenn es gelingt.

Beispiele

isResolvable("www.mozilla.org") // true

Syntax

isInNet(host, pattern, mask)

Parameter

host

ein DNS-Hostname oder eine IP-Adresse. Wenn ein Hostname übergeben wird, wird er von dieser Funktion in eine IP-Adresse aufgelöst.

pattern

ein IP-Adressmuster im Punkt-trennt-Format.

mask

Maske für das IP-Adressmuster, die angibt, welche Teile der IP-Adresse verglichen werden sollen. 0 bedeutet ignorieren, 255 bedeutet vergleichen.

Liefert true, wenn und nur wenn die IP-Adresse des Hosts mit dem angegebenen IP-Adressmuster übereinstimmt.

Die Spezifikation von Muster und Maske erfolgt auf die gleiche Weise wie bei der SOCKS-Konfiguration.

Beispiele

function FindProxyForURL(url, host) {
  alert(isInNet(host, "192.0.2.172", "255.255.255.255"));
  // "PAC-alert: true"
}

dnsResolve(host)

Parameter

host

Hostname, der aufgelöst werden soll.

Löst den angegebenen DNS-Hostname in eine IP-Adresse auf und gibt ihn im Punkt-trennt-Format als String zurück.

Beispiel

dnsResolve("www.mozilla.org"); // returns the string "104.16.41.2"

Syntax

convert_addr(ipaddr)

Parameter

ipaddr

Jede gepunktete Adresse wie eine IP-Adresse oder Maske.

Verkettet die vier durch Punkte getrennten Bytes zu einem 4-Byte-Wort und wandelt es in eine Dezimalzahl um.

Beispiel

convert_addr("192.0.2.172"); // returns the decimal number 1745889538

Syntax

myIpAddress()

Parameter

(keine)

Rückgabewert

Gibt die Server-IP-Adresse des Rechners zurück, auf dem Firefox ausgeführt wird, als String im Punkt-getrennten Ganzzahlformat. Um hilfreicher zu sein, werden mehrere Alternativen versucht, bevor auf die Loopback-Adresse (wie 127.0.0.1) zurückgegriffen wird.

Beispiel

myIpAddress()

Syntax

dnsDomainLevels(host)

Parameter

host

ist der Hostname aus der URL.

Gibt die Anzahl (Ganzzahl) der DNS-Domainlevel (Anzahl der Punkte) im Hostnamen zurück.

Beispiele

dnsDomainLevels("www") // 0
dnsDomainLevels("mozilla.org") // 1
dnsDomainLevels("www.mozilla.org"); // 2

Syntax

shExpMatch(str, shExp)

Parameter

str

ist ein beliebiger Vergleichsstring (z. B. die URL oder der Hostname).

shExp

ist ein Shell-Ausdruck, mit dem verglichen werden soll.

Gibt true zurück, wenn der String mit dem angegebenen Shell-Glob-Ausdruck übereinstimmt.

Die Unterstützung für bestimmte Glob-Ausdrucks-Syntaxen variiert je nach Browser: * (beliebige Anzahl von Zeichen) und ? (ein Zeichen) werden immer unterstützt, während [characters] und [^characters] zusätzlich von einigen Implementierungen (einschließlich Firefox) unterstützt werden.

Beispiele

shExpMatch("http://home.netscape.com/people/ari/index.html", "*/ari/*"); // returns true
shExpMatch("http://home.netscape.com/people/montulli/index.html", "*/ari/*"); // returns false

Syntax

weekdayRange(wd1, wd2)
weekdayRange(wd1, wd2, gmt)

Parameter

wd1 und wd2

Einer der geordneten Wochentagsstrings: "SUN", "MON", "TUE", "WED", "THU", "FRI", "SAT"

gmt

Ist entweder der String "GMT" oder wird weggelassen.

Der erste Parameter ist obligatorisch. Entweder der zweite, der dritte oder beide können ausgelassen werden.

Wenn nur ein Parameter vorhanden ist, gibt die Funktion an dem Wochentag, den der Parameter darstellt, einen true-Wert zurück. Wenn der String "GMT" als zweiter Parameter angegeben wird, werden die Zeiten in GMT genommen. Andernfalls wird angenommen, dass sie in der lokalen Zeitzone sind.

Wenn sowohl wd1 als auch wd2 definiert sind, ist die Bedingung true, wenn der aktuelle Wochentag zwischen diesen beiden geordneten Wochentagen liegt. Die Grenzen sind inklusive, aber die Grenzen sind geordnet. Wenn der "GMT"-Parameter angegeben ist, werden die Zeiten in GMT genommen. Andernfalls wird die lokale Zeitzone verwendet.

Beispiele

weekdayRange("MON", "FRI") // returns true Monday through Friday (local timezone)
weekdayRange("MON", "FRI", "GMT") // returns true Monday through Friday (GMT timezone)
weekdayRange("SAT") // returns true on Saturdays local time
weekdayRange("SAT", "GMT") // returns true on Saturdays GMT time
weekdayRange("FRI", "MON") // returns true Friday and Monday only (note, the order does matter!)

Syntax

dateRange(dayOrMonthOrYear)
dateRange(dayOrMonthOrYear, gmt)  // ambiguity is resolved by assuming year is greater than 31
dateRange(day1, day2)
dateRange(day1, day2, gmt)
dateRange(month1, month2)
dateRange(month1, month2, gmt)
dateRange(year1, year2)
dateRange(year1, year2, gmt)
dateRange(day1, month1, day2, month2)
dateRange(day1, month1, day2, month2, gmt)
dateRange(month1, year1, month2, year2)
dateRange(month1, year1, month2, year2, gmt)
dateRange(day1, month1, year1, day2, month2, year2)
dateRange(day1, month1, year1, day2, month2, year2, gmt)

Parameter

day

Ist der geordnete Tag des Monats zwischen 1 und 31 (als Ganzzahl).

month

Ist einer der geordneten Monatsstrings: "JAN", "FEB", "MAR", "APR", "MAY", "JUN", "JUL", "AUG", "SEP", "OCT", "NOV", "DEC".

year

Ist die geordnete volle Jahrzahl. Zum Beispiel 2016 (nicht 16).

gmt

Ist entweder der String "GMT", der den Zeitvergleich in der GMT-Zeitzone durchführt, oder wird weggelassen. Wird nichts angegeben, werden die Zeiten in der lokalen Zeitzone genommen.

Wenn nur ein einzelner Wert angegeben wird (aus jeder Kategorie: Tag, Monat, Jahr), gibt die Funktion nur an Tagen, die dieser Spezifikation entsprechen, einen true-Wert zurück. Wenn beide Werte angegeben sind, ist das Ergebnis zwischen diesen Zeiten einschließlich der Grenzen true, aber die Grenzen sind geordnet.

Beispiele

dateRange(1) // returns true on the first day of each month, local timezone
dateRange(1, "GMT") // returns true on the first day of each month, GMT timezone
dateRange(1, 15) // returns true on the first half of each month
dateRange(24, "DEC");// returns true on 24th of December each year
dateRange("JAN", "MAR"); // returns true on the first quarter of the year

dateRange(1, "JUN", 15, "AUG");
// returns true from June 1st until August 15th, each year
// (including June 1st and August 15th)

dateRange(1, "JUN", 1995, 15, "AUG", 1995);
// returns true from June 1st, 1995, until August 15th, same year

dateRange("OCT", 1995, "MAR", 1996);
// returns true from October 1995 until March 1996
// (including the entire month of October 1995 and March 1996)

dateRange(1995);
// returns true during the entire year of 1995

dateRange(1995, 1997);
// returns true from beginning of year 1995 until the end of year 1997

Syntax

// The full range of expansions is analogous to dateRange.
timeRange(hour1, min1, sec1, hour2, min2, sec2)
timeRange(hour1, min1, sec1, hour2, min2, sec2, gmt)

Parameter

hour

Ist die Stunde von 0 bis 23. (0 ist Mitternacht, 23 ist 23 Uhr.)

min

Minuten von 0 bis 59.

sec

Sekunden von 0 bis 59.

gmt

Entweder der String "GMT" für die GMT-Zeitzone, oder nicht angegeben, für die lokale Zeitzone.

Wenn nur ein einzelner Wert angegeben wird (aus jeder Kategorie: Stunde, Minute, Sekunde), gibt die Funktion nur zu den Zeiten, die dieser Spezifikation entsprechen, einen true-Wert zurück. Wenn beide Werte angegeben sind, ist das Ergebnis zwischen diesen Zeiten einschließlich der Grenzen true, aber die Grenzen sind geordnet.

Beispiele

timerange(12); // returns true from noon to 1pm
timerange(12, 13) // returns true from noon to 1pm
timerange(12, "GMT") // returns true from noon to 1pm, in the GMT timezone
timerange(9, 17) // returns true from 9am to 5pm
timerange(8, 30, 17, 0) // returns true from 8:30am to 5:00pm
timerange(0, 0, 0, 0, 0, 30) // returns true between midnight and 30 seconds past midnight

Syntax

alert(message)

Parameter

message

Der zu protokollierende String

Protokolliert die Nachricht in der Browserkonsole.

Beispiele

alert(`${host} = ${dnsResolve(host)}`) // logs the host name and its IP address
alert("Error: shouldn't reach this clause.") // log a message

Alle Hosts, die nicht vollständig qualifiziert sind oder die sich in der lokalen Domain befinden, werden direkt verbunden. Alles andere wird über w3proxy.mozilla.org:8080 geleitet. Fallen die Proxies aus, werden die Verbindungen automatisch direkt:

function FindProxyForURL(url, host) {
  if (isPlainHostName(host) || dnsDomainIs(host, ".mozilla.org")) {
    return "DIRECT";
  }
  return "PROXY w3proxy.mozilla.org:8080; DIRECT";
}

Wenn es Hosts gibt (wie den Haupt-Webserver), die zur lokalen Domain gehören, sich jedoch außerhalb der Firewall befinden und nur über den Proxyserver erreichbar sind, können diese Ausnahmen mit der Funktion localHostOrDomainIs() behandelt werden:

function FindProxyForURL(url, host) {
  if (
    (isPlainHostName(host) || dnsDomainIs(host, ".mozilla.org")) &&
    !localHostOrDomainIs(host, "www.mozilla.org") &&
    !localHostOrDomainIs(host, "merchant.mozilla.org")
  ) {
    return "DIRECT";
  }
  return "PROXY w3proxy.mozilla.org:8080; DIRECT";
}

Im obigen Beispiel wird der Proxy für alles außer lokale Hosts in der Domain mozilla.org verwendet, mit der weiteren Ausnahme, dass die Hosts www.mozilla.org und merchant.mozilla.org durch den Proxy geleitet werden.

Dieses Beispiel funktioniert in einer Umgebung, in der der interne DNS-Server so eingerichtet ist, dass er nur interne Hostnamen auflösen kann und das Ziel darin besteht, einen Proxy nur für Hosts zu verwenden, die nicht auflösbar sind:

function FindProxyForURL(url, host) {
  if (isResolvable(host)) {
    return "DIRECT";
  }
  return "PROXY proxy.mydomain.com:8080";
}

Das Obige erfordert die Konsultation des DNS bei jedem Mal; es kann intelligent mit anderen Regeln gruppiert werden, sodass DNS nur konsultiert wird, wenn andere Regeln kein Ergebnis liefern:

function FindProxyForURL(url, host) {
  if (
    isPlainHostName(host) ||
    dnsDomainIs(host, ".mydomain.com") ||
    isResolvable(host)
  ) {
    return "DIRECT";
  }
  return "PROXY proxy.mydomain.com:8080";
}

In diesem Beispiel werden alle Hosts in einem bestimmten Subnetz direkt verbunden, andere werden über den Proxy verbunden:

function FindProxyForURL(url, host) {
  if (isInNet(host, "192.0.2.172", "255.255.0.0")) {
    return "DIRECT";
  }
  return "PROXY proxy.mydomain.com:8080";
}

Auch hier kann die Nutzung des DNS-Servers im obigen Fall minimiert werden, indem redundante Regeln am Anfang hinzugefügt werden:

function FindProxyForURL(url, host) {
  if (
    isPlainHostName(host) ||
    dnsDomainIs(host, ".mydomain.com") ||
    isInNet(host, "192.0.2.0", "255.255.0.0")
  ) {
    return "DIRECT";
  }
  return "PROXY proxy.mydomain.com:8080";
}

Dieses Beispiel ist raffinierter. Es gibt vier (4) Proxy-Server; einer von ihnen ist ein heißer Standby für alle anderen, sodass der vierte übernimmt, wenn einer der verbleibenden drei ausfällt. Darüber hinaus teilen sich die drei verbleibenden Proxy-Server die Last basierend auf URL-Mustern, was ihr Caching effektiver macht (es gibt nur eine Kopie eines Dokuments auf den drei Servern - im Gegensatz zu einer Kopie auf jedem von ihnen). Die Last wird wie folgt verteilt:

Alle lokalen Zugriffe sollen direkt erfolgen. Alle Proxy-Server laufen auf Port 8080 (sie müssen es nicht, Sie können einfach Ihren Port ändern, aber denken Sie daran, Ihre Konfigurationen auf beiden Seiten anzupassen). Beachten Sie, wie Strings mit dem + Operator in JavaScript verkettet werden können.

function FindProxyForURL(url, host) {
  if (isPlainHostName(host) || dnsDomainIs(host, ".mydomain.com")) {
    return "DIRECT";
  } else if (shExpMatch(host, "*.com")) {
    return "PROXY proxy1.mydomain.com:8080; PROXY proxy4.mydomain.com:8080";
  } else if (shExpMatch(host, "*.edu")) {
    return "PROXY proxy2.mydomain.com:8080; PROXY proxy4.mydomain.com:8080";
  }
  return "PROXY proxy3.mydomain.com:8080; PROXY proxy4.mydomain.com:8080";
}

Die meiste Standard-JavaScript-Funktionalität ist in der Funktion FindProxyForURL() verfügbar. Zum Beispiel kann die startsWith()-Funktion verwendet werden, um verschiedene Proxys je nach Protokoll einzustellen:

function FindProxyForURL(url, host) {
  if (url.startsWith("http:")) {
    return "PROXY http-proxy.mydomain.com:8080";
  } else if (url.startsWith("ftp:")) {
    return "PROXY ftp-proxy.mydomain.com:8080";
  } else if (url.startsWith("gopher:")) {
    return "PROXY gopher-proxy.mydomain.com:8080";
  } else if (url.startsWith("https:") || url.startsWith("snews:")) {
    return "PROXY security-proxy.mydomain.com:8080";
  }
  return "DIRECT";
}

Zum Beispiel:

if (shExpMatch(url, "http:*")) {
  return "PROXY http-proxy.mydomain.com:8080";
}

Die Proxy-Autokonfiguration wurde Ende der 1990er Jahre in Netscape Navigator 2.0 eingeführt, zur selben Zeit als JavaScript eingeführt wurde. Die Open-Source-Veröffentlichung von Netscape führte letztendlich zu Firefox selbst.

Die "ursprünglichste" Implementierung von PAC und ihren JavaScript-Bibliotheken ist daher nsProxyAutoConfig.js, das in frühen Firefox-Versionen zu finden ist. Diese Hilfsprogramme sind in vielen anderen Open-Source-Systemen, einschließlich Chromium, zu finden. Firefox integrierte die Datei später in ProxyAutoConfig.cpp als C++-Stringliteral. Um sie in eine eigene Datei zu extrahieren, genügt es, das Stück in JavaScript mit einem console.log-Befehl zu kopieren, um es auszugeben.

Microsoft hat im Allgemeinen seine eigene Implementierung erstellt. Es gab früher einige Probleme mit ihren Bibliotheken, aber die meisten sind mittlerweile behoben. Sie haben einige neue, mit "Ex" endende Funktionen rund um die Adressverwaltungsteile definiert, um IPv6 zu unterstützen. Die Funktion wird von Chromium unterstützt, aber noch nicht von Firefox (bugzilla #558253).

• Proxyserver
• MIME-Typen (IANA-Medientypen)
• Automatische Proxy-HTTP-Server-Konfiguration in Webbrowsern