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