⌈⌋ branch:  freshcode


Help: http-port

The "http-port" setting:

The default TCP/IP port number to use by the "server"
and "ui" commands.