Add the http-port setting used to specify the default TCP/IP port for the
built-in webserver.  Ticket [7168128e09].