getgrav/grav

Uri should prefer port in HTTP_HOST and not take SERVER_PORT

Open

#1999 opened on Apr 27, 2018

View on GitHub
 (5 comments) (0 reactions) (0 assignees)PHP (15,491 stars) (1,409 forks)batch import
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.

Contributor guide