cli: delete directory documents on directory removal
There was a problem with the directory documents being left behind when
the filesystem directory was removed. This was worked around in [1].
However, that ignored the fact that the directory documents are also
still listed by notmuch_directory_get_child_directories() leading to
confusing results when running notmuch new. The directory documents are
found and queued for removal over and over again.
Fix the problem for real by removing the directory documents. This fixes
the tests flagged as broken in [2].
The (non-deterministic) hack test from [3] also still passes with this
change.
[1] commit
acd66cdec075312944e527febd46382e54d99367
[2] commit
ed9ceda623d3f22fb66365b33db63c5c982067d3
[3] id:
1441445731-4362-1-git-send-email-jani@nikula.org