cli: reset db directory mtime upon directory removal
authorJani Nikula <jani@nikula.org>
Sat, 5 Sep 2015 09:35:31 +0000 (12:35 +0300)
committerDavid Bremner <david@tethera.net>
Mon, 7 Sep 2015 12:28:00 +0000 (09:28 -0300)
commitacd66cdec075312944e527febd46382e54d99367
treefe78988c6b4cbb9d4cb537653e3c4778a9b92604
parent9a5143abbcfbb008f846329b5c50b9322af5322a
cli: reset db directory mtime upon directory removal

The library does not have a function to remove a directory document
for a path. Usually this doesn't matter except for a slight waste of
space. However, if the same directory gets added to the filesystem
again, the old directory document is found with the old mtime. Reset
the directory mtime on removal to avoid problems.

The corner case that can hit this problem is renaming directories back
and forth. Renaming does not change the mtime of the directory in the
filesystem, and thus the old db directory document mtime may match the
fs mtime of the directory.

The long term fix might be to add a library function to remove a
directory document, however this is a much simpler and faster fix for
the time being.
notmuch-new.c