Können Sie die schrittweise Konfiguration angeben? Wenn Sie PAC verwenden und die Implementierung standardkonform ist, führt die fehlgeschlagene Verbindung dazu, dass PAC die Verbindung mit PAC als nicht verfügbar markiert. Wenn Sie mehrere Server haben, erfolgt ein Failover.
Sie können dieses Verhalten sogar sehen, wenn Ihre PAC-Datei eine Liste von Eins zurückgibt. Wenn ja, ist es an der Zeit, sich nach einer Reset-Schaltfläche in der Benutzeroberfläche umzusehen.
Hier ist, was die Spezifikation gesagt hat ... was wirklich schwer zu finden ist, seit AOL es von den alten Netscape-Servern "verloren" hat.
Hier ist eine Kopie, die ich gespeichert habe, bevor sie aus dem Google-Cache fiel:
Wenn mehrere durch Semikolons getrennte Einstellungen vorhanden sind, wird die Einstellung ganz links verwendet, bis der Navigator die Verbindung zum Proxy nicht herstellt. In diesem Fall wird der nächste Wert verwendet usw. Der Navigator versucht einen zuvor nicht mehr reagierenden Proxy automatisch nach 30 Minuten und dann 1 Stunde nach dem vorherigen Versuch (immer 30 Minuten zusätzlich). Wenn alle Proxys deaktiviert sind und keine DIRECT-Option angegeben wurde, werden Sie vom Navigator gefragt, ob Proxys vorübergehend ignoriert werden sollen, und es werden direkte Verbindungen versucht. Der Navigator fragt, ob die Proxy-Server nach Ablauf von 20 Minuten erneut versucht werden sollen (danach 40 Minuten nach der vorherigen Frage, immer 20 Minuten).
Trotzdem war die Auswahl der Timeout-Werte eher willkürlich (dies sollte eine funktionierende Beschreibung dessen sein, was implementiert werden sollte, und niemals als RFC untersucht. Die meisten Hersteller, die daran mitgearbeitet haben, haben aus praktischen Gründen Änderungen am tatsächlichen Failover oder an Timeouts vorgenommen (einschließlich Mozillas Neufassung des ursprünglichen Navigator PAC).
(Dies mag ein Hörensagen sein, aber ich weiß das meiste davon, weil ich verschiedene Gespräche mit den Autoren geführt habe, als ich für Netscape und mozilla.org arbeitete).
Ich habe Opera nie viel getestet / verwendet, aber in der Dokumentation finden Sie weitere Informationen. Wenn Opera als Anbieter anspricht, lehnen Sie sich für weitere Details an. Dies ist die Art von Sachen, bei denen die Leute klarer verstehen sollten, was ihre Software tut.