command line options: cookie and port number