blechmusikの日記

キー・カスタマイズ・ソフトウェア "DvorakJ" の覚え書きをはじめとして様々なことを書いています。

DvorakJ_Updater のプロキシの設定を、原則としてインターネット・オプションの設定と同一にした

プロキシを指定したうえで、DvorakJ_Updater を動作できるようにした - blechmusik2の日記の続きである。
本日公開した版では、.\user\proxy_server.txt というファイルが存在しないならば、インターネット・オプションの設定を使用するようにした。インターネット・オプションでプロキシを設定していないなら、DvorakJ Updater もプロキシを使用しない。
また、.\user\proxy_server.txt というファイルが存在していても、autoとのみ記述されていれば、上記と同様に処理することにした。