blechmusikの日記

いろいろなことを書いています。

2011-02-01から1日間の記事一覧

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

プロキシを指定したうえで、DvorakJ_Updater を動作できるようにした - blechmusik2の日記の続きである。 本日公開した版では、.\user\proxy_server.txt というファイルが存在しないならば、インターネット・オプションの設定を使用するようにした。インター…