getgrav/grav

Uri should prefer port in HTTP_HOST and not take SERVER_PORT

Open

#1 999 ouverte le 27 avr. 2018

Voir sur GitHub
 (5 commentaires) (0 réactions) (0 assignés)PHP (1 409 forks)batch import
enhancementhelp wanted

Métriques du dépôt

Stars
 (15 491 stars)
Métriques de merge PR
 (Merge moyen 4j 13h) (8 PRs mergées en 30 j)

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.

Guide contributeur

Direction de recherche
Examinez le code de gestion des URI dans Uri.php de Grav, en particulier les lignes autour de 1138 et 1144. Comprenez pourquoi le port de HTTP HOST est supprimé et SERVER PORT est utilisé. Proposez une modification pour préférer le port de HTTP HOST lorsqu'il est présent, en retombant sur SERVER PORT uniquement si HTTP HOST n'a pas de port.
Stack technique
php
Domaine
backend
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
PHPGit
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
70