getgrav/grav

Uri should prefer port in HTTP_HOST and not take SERVER_PORT

Open

#1999 aperta il 27 apr 2018

Vedi su GitHub
 (5 commenti) (0 reazioni) (0 assegnatari)PHP (1409 fork)batch import
enhancementhelp wanted

Metriche repository

Star
 (15.491 star)
Metriche merge PR
 (Merge medio 4g 13h) (8 PR mergiate in 30 g)

Descrizione

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.

Guida contributor

Direzione di ricerca
Esamina il codice di gestione URI in Grav's Uri.php, in particolare le righe intorno a 1138 e 1144. Comprendi perché la porta da HTTP HOST viene rimossa e viene utilizzata SERVER PORT. Proponi una modifica per preferire la porta da HTTP HOST quando presente, ricadendo su SERVER PORT solo se HTTP HOST è privo di porta.
Tech stack
php
Dominio
backend
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
PHPGit
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
70