A Micro Toolbox

ソフトウェアのニッチな問題の対処記録です

Opera 11.51:プロキシの例外設定

Operaを最新版にしたら社内LANのサーバが見えなくなった。
# と同僚から聞いた。

調べてみたらOpera 11.51では、プロキシの例外設定にワイルドカード(*.example.com)が使えない模様。
ワイルドカードを含んでいると登録もさせてくれない。

例外設定を「*.example.com」のかわりに「example.com」とすれば機能する。


Operaのコミュニケーションフォーラムでもいくつか報告されていた。

Proxy servers, malfunction
http://my.opera.com/community/forums/topic.dml?id=1063192

proxy exception not working since 11.50
http://my.opera.com/community/forums/topic.dml?id=1031132