avoid setting the port number as a command line.

The port number is available in the disco setting file.