socket server port number specified on command line