getgrav/grav

Uri should prefer port in HTTP_HOST and not take SERVER_PORT

Open

#1,999 opened on 2018年4月27日

GitHub で見る
 (5 comments) (0 reactions) (0 assignees)PHP (1,409 forks)batch import
enhancementhelp wanted

Repository metrics

Stars
 (15,491 stars)
PR merge metrics
 (平均マージ 4d 13h) (30d で 8 merged PRs)

説明

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.

コントリビューターガイド

調査方針
GravのUri.phpのURI処理コード、特に1138行目と1144行目付近を調べてください。HTTP HOSTからポートが削除され、SERVER PORTが使用される理由を理解してください。HTTP HOSTにポートが存在する場合はそれを優先し、ポートがない場合のみSERVER PORTにフォールバックする変更を提案してください。
技術スタック
php
領域
backend
Issue 種別
バグ
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
2
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1-3時間
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
アクティブ
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
明確
前提条件
PHPGit
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
70