getgrav/grav

Uri should prefer port in HTTP_HOST and not take SERVER_PORT

Offen

#1.999 geöffnet am 27.04.2018

Auf GitHub ansehenContributor Guide
 (5 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)PHP (1.409 Forks)batch import
enhancementhelp wanted

Repository-Metriken

Stars
 (15.491 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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

Research-Richtung
Untersuche den URI Handling Code in Grav's Uri.php, insbesondere die Zeilen um 1138 und 1144. Verstehe, warum der Port aus HTTP HOST entfernt und SERVER PORT verwendet wird. Schlage eine Änderung vor, die den Port aus HTTP HOST bevorzugt, wenn vorhanden, und nur auf SERVER PORT zurückfällt, wenn HTTP HOST keinen Port enthält.
Tech Stack
php
Domain
backend
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
PHPGit
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
70