1 2 3 4 5 6
/// HTTP port #[allow(unused)] pub const HTTP_PORT: u16 = 80; /// HTTPS port #[allow(unused)] pub const HTTPS_PORT: u16 = 443;