2003-07-19 [長年日記]

[Q3] 圧縮

メッセージボックスを圧縮するときにゴミを削除するようにしました。問題なく動作している場合にはゴミが残ることはありませんが、クラッシュした場合などにどこからも参照されていないゴミが残ってしまうことがありますので。

というわけで、圧縮周りで怪しい動作をすることがあるかも知れません。圧縮する前にはバックアップを取る事をお勧めします。