Arvados

In 9tee4-d1hrv-f815phodemslkvc, arv-mount seems to have hung here somewhere:

operations.destroy()

This is my best guess because the child process is gone, and the mount itself has already been unmounted, and the next call after destroy() is exit().

For almost a day, arv-mount was still running after the child process apparently finished.