プログラマメモ2 - programmer no memo2

Java Web Startで、windows,osxで違うところ 2008/01/05

いまいちよく理解してきれていないのですが、どうもHTTPのプロクシの設定あたりでどうも、windowsとmacの動作が違う。

これでlinuxとか調べはじめたら、違いに頭がさらに混乱しそう。

目指しているのは、Java Web Startの起動をブラウザで行い、HTTPのプロクシ設定はブラウザに設定されているものを使用したいわけです。



windowsでのコントロールパネルの設定には、ネットワークという項目があってそこでブラウザの設定を使うか、直接接続するとかの設定できるのだけど、osxの場合その項目がみあたらない。

うーん。

mac osx(TigerいまだにTigerだけど)の場合、HTTPのプロクシサーバーは、os側の設定で行う。それでSafariはブラウザ自体にこの設定をもっていなくて、os側で設定した値を使っている。ためしに別のブラウザcaminoでプロクシの設定をさがしたけど、なかった。これもos側の設定を使っているようだ。

FireFoxを調べるとブラウザの環境設定にプロクシの設定がある。これはosxもwindowsと同じ。

ためしてみたところ、FireFoxの場合、os上で設定したHTTPのプロクシサーバーをみにいってないっぽい。
で、その状態でJava Web Startを実行してjavaplugin.proxy.config.listの値をみると、osで設定した値が入っていた。

Safari経由でJava Web Startを実行した場合もosで設定した値が、javaplugin.proxy.config.listに入っていた。

mac osxの場合、Java Web Start(javaplugin)は、os側で設定した値を使用するのかもしれない。

そうすると、特にos(ブラウザ)のことを気にせず、javaplugin.proxy.config.listに記述があるサーバーを素直にプロクシ設定として利用するのがいいのかもしれない。


Java 1.5 から ProxySelector というのが導入されている。これも調べないと...

: