discard any exception thrown while trying to kill worker threads
authorJoey Hess <joeyh@joeyh.name>
Mon, 10 Aug 2020 20:18:47 +0000 (16:18 -0400)
committerJoey Hess <joeyh@joeyh.name>
Mon, 10 Aug 2020 20:24:51 +0000 (16:24 -0400)
commitc59a51a0651bbe8d29c81e00900df9aade471a71
tree1511dadb8596361416fde1136a116decb427c95c
parent020e588262f3b7c9bfae96342be43bc8771576b6
discard any exception thrown while trying to kill worker threads

Since there's a race here, and since Kyle saw an exception leak out,
which I have not been able to reproduce that. See my comment for what
I think might be going on.

Note that, I used tryNonAsync, because it seems a later tryNonAsync
caught the exception. I don't actually understand how it did, as I
understand exception classification, it's the data type, not the way it
was thrown. One possibility is that the async exception may have been wrapped
in some other, non-async exception, and Show displayed it the same way.
Utility/Metered.hs
doc/bugs/Recent_hang_with_rsync_remote_with_older_systems___40__Xenial__44___Jessie__41__/comment_15_93e2dd2b30cdeddd5e273eae78a422e0._comment [new file with mode: 0644]