I'm not sure if this is a bug or a misconfiguration. Currently I have Tyk configured to run the gateway and dashboard on a https endpoint but when I click the button "open your portal" in "your developer portal", it opens the http endpoint of the dashboard instead of the https endpoint. The problem is that the portal runs on port 443 instead of port 80. I have to manually change the http endpoint to a https endpoint in order to access the portal. I would expect that the dashboard would open a https endpoint instead of a http endpoint. Is this a bug in Tyk or a misconfiguration in one of the config files?