use /tmp for sidelock file when no /dev/shm
authorJoey Hess <joeyh@joeyh.name>
Fri, 13 Nov 2015 18:49:30 +0000 (14:49 -0400)
committerJoey Hess <joeyh@joeyh.name>
Fri, 13 Nov 2015 18:49:30 +0000 (14:49 -0400)
commit1aba23ab4ebcd66d7cdf2b27020f47684da3eca1
tree1b956d4f8066f7a611bd5d7cb0f2955e56d9bc73
parent60a9c7f5c6e9847a2a69b08c07516e304a6395e0
use /tmp for sidelock file when no /dev/shm
Utility/LockFile/PidLock.hs