修复添加服务器或直接连接时,服务器地址首尾包含空格导致的“未知的主机”Bug
Go to file
2023-10-18 18:46:41 +08:00
src 更新到1.20.2,旧的1.20.1在另外一个分支。 2023-10-18 18:18:24 +08:00
图片 Initial commit 2023-10-18 15:48:48 +08:00
.gitignore 更新到1.20.2,旧的1.20.1在另外一个分支。 2023-10-18 18:18:24 +08:00
build.gradle Initial commit 2023-10-18 15:48:48 +08:00
gradle.properties 忘记改版本号了 2023-10-18 18:22:31 +08:00
gradlew Initial commit 2023-10-18 15:48:48 +08:00
gradlew.bat Initial commit 2023-10-18 15:48:48 +08:00
LICENSE Initial commit 2023-10-18 15:48:48 +08:00
README.md Update README.md 2023-10-18 18:46:41 +08:00
settings.gradle Initial commit 2023-10-18 15:48:48 +08:00

介绍

本模组意在修复一个2021年11月26号被报告但一直未修复的Bug
漏洞追踪器链接

为什么会有这个模组

前几个月吧,我想玩一个服务器。从那个服务器的官网把地址复制下来,粘贴到“服务器地址”中保存之后,居然出现了“未知的主机”。
莫慌这显然是DNS没查找到对应的地址先Ping一下。
Ping能找到域名对应的地址然后我又怀疑是长城又在搞什么用站长之家的工具测了一下所有的结果和我的都是一样的啊。
这就比较奇怪了。
然后在折腾了一段时间之后,我发现了问题。
我复制到的服务器地址的末尾,有一个空格。
这就很难绷了啊再继续折腾了一段时间确认问题能够稳定复现之后我去漏洞追踪器提交了一个Bug。
结果您猜怎么着?
漏洞追踪器上提的问题
下面的评论
更早的一个问题报告
我英语完全不行,就没继续说下去了,问题描述都是用翻译写的。
但是吧,我打心里觉得这事多少有点离谱。
既然你的地址是String类那在后面调用一下trim方法很难吗
而且我作为一个玩家你跟我说“这都是你自己不小心这根本就不能算是个Bug“我是不能接受的。
所以,有了这个模组。

已知问题

  • 必须在服务器MOTD被加载出来之后才能使用刷新按钮不然被弄掉的空格自己又会回来我也不知道为什么。

如果有谁愿意帮我把Bug修了欢迎提交PR╰(°▽°)╯

开源许可

我用的是比MIT更激进的WTFPL