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