Port sharing with an HTTPS server