diff options
author | 2015-11-16 11:36:11 -0400 | |
---|---|---|
committer | 2015-11-16 11:36:11 -0400 | |
commit | b17259a796d1c376478336ae420a39833dd2d3ef (patch) | |
tree | 17efee3c76666e75b325835a4e301707bd8d8379 /Utility/Exception.hs | |
parent | 1d8a033579d9247fe1410409d01ac9e38ba0a445 (diff) |
clean up side lock files when we're done with them
There's a potential race, but it's detected and just results in the other
process failing to take the side lock, so possibly retrying one second
later on. The race window is quite narrow so the extra delay is minor.
Left the side lock files mode 666 because an interruption can leave a side
lock file created by another user for a shared repository. When this
happens, the non-owning user can't delete it (+t) but can still lock it,
and so the code falls back to acting as it did before this commit.
Diffstat (limited to 'Utility/Exception.hs')
0 files changed, 0 insertions, 0 deletions