OperaMail - index の破損

帰宅して Opera を起動させると、受信したはずのメールを再受信している。メールはサーバに残す設定にはしてあるが、この動作はおかしい。放っておくと、二重どころか三重にも、そしてそれ以上に既読メールを取り込む勢い。
慌てず騒がず前回のメモを参考に Reindex を遂行。あっさり解決。

• ここのところ頻発していた twitter がらみの強制終了を再現させようと、意図的に通常では行わないタイミングで Opera を終了させたり、たまたま本当に強制終了させられたりしていたのが index ファイル破損の原因だろう。
• OperaMail はデータベース方式なので、強制終了と各メール/フィード/ニュース・ポストに付けられた見出し（インデックス）の書き込みのタイミングが重なると、こうした現象に遭遇出来る。
• 次期 OperaMail で修正されるとの確証を得ているので、この点に関するバグレポート/クレームは不要。