Changing the server port number