use worker pool in withLocalP2PConnections
authorJoey Hess <joeyh@joeyh.name>
Thu, 11 Jul 2024 18:37:52 +0000 (14:37 -0400)
committerJoey Hess <joeyh@joeyh.name>
Thu, 11 Jul 2024 18:37:52 +0000 (14:37 -0400)
commit97a2d0e4fbf71bcf90ca27f6066a2d7044f207f2
treed43acf1c16460ba41d63e84591efdfa0031c3d58
parent68227154fb8499f2ae19fc32e098a4748b5d608e
use worker pool in withLocalP2PConnections

This allows multiple clients to be handled at the same time.
Command/P2PHttp.hs
P2P/Http/State.hs
doc/todo/git-annex_proxies.mdwn