getgrav/grav

Uri should prefer port in HTTP_HOST and not take SERVER_PORT

Open

#1,999 创建于 2018年4月27日

在 GitHub 查看
 (5 评论) (0 反应) (0 负责人)PHP (1,409 fork)batch import
enhancementhelp wanted

仓库指标

Star
 (15,491 star)
PR 合并指标
 (平均合并 4天 13小时) (30 天内合并 8 个 PR)

描述

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 中的端口（如果存在），仅在 HTTP HOST 缺少端口时回退到 SERVER PORT。
技术栈
php
领域
backend
议题类型
缺陷
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
2
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-3 小时
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
清晰
前置要求
PHPGit
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
70