chiark / gitweb /
server/: Record port number with UDP socket, rather than querying.