expire lock after 10 minutes initially
authorJoey Hess <joeyh@joeyh.name>
Wed, 24 Jul 2024 18:25:40 +0000 (14:25 -0400)
committerJoey Hess <joeyh@joeyh.name>
Wed, 24 Jul 2024 18:25:40 +0000 (14:25 -0400)
commitf5624a69e33aa15535b377936eb903e13f9c9fa1
tree8809dc1ed7efdab7df7173baf1c455bda628cb37
parent97836aafba622b78d26c8f125487d4ae8fbcc216
expire lock after 10 minutes initially

Once keeplocked is called, the lock will expire at the end
of that call. But if keeplocked never gets called, this avoids
the lock persisting forever.
P2P/Http/Server.hs
P2P/Http/State.hs
doc/todo/git-annex_proxies.mdwn