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 Table of Contents Default Value See Also Default Value jetty.search_port_https=8080 See Also Configuring the Jetty web server