2019年の夏季休業期間にサーバーをアップデートする予定です。
8月中旬から下旬に行う予定です。
個人用のファイルを保存している方，いましたら，夏休み前まで
に引き上げてください。
もう随分と長くサーバーを働かせています。ハードディスクは
ちょこちょこ交換していますが，パーツによっては海老澤が教員
を始めた頃からずっと使っていたりします。
そろそろあかん気がします。そのため改修します。
以前お知らせしたアップデート予定ですが，何やら忙しいので
秋以降に順延します。
おそらく10月の停電に合わせるかと思いますが，確定したら
案内を出します。