chiark / gitweb /
Allow default port to be given as a service name or port number. Handle