The "http-port" setting:

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

REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]