diff options
author | 2015-10-08 13:31:55 -0400 | |
---|---|---|
committer | 2015-10-08 13:34:49 -0400 | |
commit | e2693da16db892d002b2993443bcbe38b6c6efa0 (patch) | |
tree | a0167a759640569568edd9c0e4fa876b46ac7fcb /Utility/SafeCommand.hs | |
parent | 7433e26d25a2b8b2e0eef9692d1f9ba741bd370c (diff) |
open lock file ReadOnly when taking shared lock
It's only necessary to open a file for write when taking an exclusive lock.
Diffstat (limited to 'Utility/SafeCommand.hs')
0 files changed, 0 insertions, 0 deletions