jetty.search_port_https Specify the port jetty will bind to for HTTPS search traffic. Key: jetty.search_port_https Type: Integer Can be set in: global.cfg ON THIS PAGE Default Value See Also Default Value jetty.search_port_https=8080 See Also Configuring the Jetty web server