> ・db.id.old って、もう必要ないでしょう、と思う。 削除しました。 > ・db.id の mtime だと、DB を作っている間に来たメールを取りこぼ > すので、db.id.mtime というファイルを作って、mtime は > db.id.mtime のものを使うようにした。 incremental update の場合は、最初にコピーを取りますので、id.db の ctime を使うのでいいでしょう。 --かず