jetty.search_port_https

Setting the key

Set this configuration key in the server configuration.

Use the configuration key editor to add or edit the jetty.search_port_https key, and set the value. This can be set to any valid Integer value.

Default value

jetty.search_port_https=8080