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