06de2ad972
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. |
||
|---|---|---|
| .. | ||
| Http | ||
| Address.hs | ||
| Annex.hs | ||
| Auth.hs | ||
| Http.hs | ||
| IO.hs | ||
| Protocol.hs | ||
| Proxy.hs | ||