Constant DEFAULT_INGRESS_HTTPS_PORT 

pub const DEFAULT_INGRESS_HTTPS_PORT: u16 = 443;

Default HTTPS ingress port. See DEFAULT_INGRESS_HTTP_PORT.