getgrav/grav
View on GitHubUri should prefer port in HTTP_HOST and not take SERVER_PORT
Open
#1999 opened on Apr 27, 2018
enhancementhelp wanted
Description
I run Grav in a docker container and use a different port internally. Uris get messed up for me because I map the internal docker port to a different port on the host.
Grav removes (correct) port from HTTP_HOST: https://github.com/getgrav/grav/blob/develop/system/src/Grav/Common/Uri.php#L1138
And takes the (wrong) port from SERVER_PORT. https://github.com/getgrav/grav/blob/develop/system/src/Grav/Common/Uri.php#L1144
Grav should take the port as the request was made, which is the port from HTTP_HOST.