http://mydomain.com:443 would just address a http server running on port 443 since to protocol is http; vice versa, a https server running on port 80 would be called as https://mydomain.com:80