Allow the user to specify the port number.