added server command line parameter for port number