change default port to 9417
authorJoey Hess <joeyh@joeyh.name>
Tue, 23 Jul 2024 00:44:48 +0000 (20:44 -0400)
committerJoey Hess <joeyh@joeyh.name>
Tue, 23 Jul 2024 00:52:17 +0000 (20:52 -0400)
commit06de2ad9722d7120a1f1a05ce983da248eeb39e0
tree88b55b633ba2035a9e27a3cf03fca179031fafba
parent53000cf06e1640cff8b4f4e8f07f9bb2b5dff67b
change default port to 9417

Port 80 would need root, not a good idea, so pick something that might
work by default.

9418 is git protocol's port. 9419 is used by something, but nothing
known uses 9417, so it's as good a default as any.
Command/P2PHttp.hs
P2P/Http.hs
doc/git-annex-p2phttp.mdwn