server accepts port number from command line