Opera "забывает" определение прокси, если прокси недоступен

можете вы обеспечить постепенную конфигурацию? Если вы используете PAC, и реализация совместима со стандартами, то отказавшее соединение заставляет PAC отмечать его как недоступный. Если у вас есть несколько серверов он будет работать.

вы могли бы даже видеть это поведение, если ваш файл PAC возвращает список одного. Если это так, пришло время начать искать кнопку сброса в пользовательском интерфейсе.

вот что сказано в спецификации...который действительно трудно найти, так как AOL "потерял" его с устаревших серверов Netscape.

вот копия, которую я сохранил, прежде чем он выпал из кэша Google:

Если есть несколько параметры, разделенные точкой с запятой, левая настройка будет использоваться до навигатор не может установить подключение к прокси. В таком случае следующее значение будет использоваться и т. д. Тот Navigator автоматически повторит попытку ранее прокси-сервер не отвечает после 30 минут, затем через 1 час от предыдущая попытка (всегда добавляя дополнительный 30 минут). Если все прокси не работают, и прямого варианта не было указанный, навигатор спросит, прокси должны быть временно проигнорированы, и попытки прямого подключения. Тот Навигатор спросит, должны ли прокси повторите попытку через 20 минут (затем в следующий раз через 40 минут предыдущий вопрос, всегда добавляя 20 минут).

(Это могут быть слухи, но я знаю большую часть этого, потому что имел различные беседы с авторами, когда я работал в Netscape и mozilla.org).

Я никогда не тестировал/использовал Opera много, но проверьте документацию для больше информации. Если Opera реагирует как поставщик, обратитесь к ним за дополнительной информацией. Это тот материал, в котором люди должны быть более ясны о том, что делает их программное обеспечение.