Login
Z3 tests
Help: http-port
☰
Home
Timeline
Branches
Tags
Login
Command-List
The "http-port" setting:
The default TCP/IP port number to use by the "server" and "ui" commands.