lib: Delete stale timestamp documents during database upgrade.

Once we move the timestamp to the new directory document, we don't
need the old one anymore.

diff --git a/lib/database.cc b/lib/database.cc
index 831b4a16926ded207c00920761fe29e08933679a..d0262722cff27dce3086236ea7482e7ffaf968de 100644 (file)
--- a/lib/database.cc
+++ b/lib/database.cc
@@ -783,6 +783,8 @@ notmuch_database_upgrade (notmuch_database_t *notmuch,
                                                            term.c_str() + 10);
                notmuch_directory_set_mtime (directory, mtime);
                notmuch_directory_destroy (directory);
+
+               db->delete_document (*p);
            }
        }
     }