Display the port number the server runs on.