port mapping 8080 to 8443 is broken

[Taher Alkhateeb]

I'm not sure who committed what, but now the automatic redirection from
8080 to 8443 ssl is broken. Jacques is this related to your work on port
offset stuff?