projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c59a51a) | patch
improve slightly
authorJoey Hess <joeyh@joeyh.name>
Mon, 10 Aug 2020 20:33:58 +0000 (16:33 -0400)
committerJoey Hess <joeyh@joeyh.name>
Mon, 10 Aug 2020 20:33:58 +0000 (16:33 -0400)
commit4466c1001d885ea5a5e4c9e073d347e86b92a8be
tree63ed4c9813ad95c91528300637df5eb6d167decetree | snapshot
parentc59a51a0651bbe8d29c81e00900df9aade471a71commit | diff
improve slightly

This probably avoids the situation that caused the exception to be
thrown. It also makes sure that both threads end up canceled in the end,
while before the exception from wait outt could have caused errt to
never be waited on.
Utility/Metered.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.