Added a port number argument to the server.