IP address and port number of server can now be specified on the command line.