The bug
In the server list, after I edit the address of an existing server, the server is not re-polled until I exit to the main menu and return to the server list.
How to reproduce
Video demonstrating the issue: https://www.youtube.com/watch?v=-_hGOuUxaJ4
Code Analysis
Code analysis by @unknown can be found in this comment.
Linked issues
is duplicated by 1
Attachments
Comments 11
Pictures attached. Explanations:
FirstPic: Before a rename, proper and working server IP (Even if an outdated server)
SecondPic: After renaming the server. The server IP was changed to random characters, but still shows that it is working.
Is this still a concern in the current Minecraft version? If so, please update the affected versions in order to best aid Mojang ensuring bugs are still valid in the latest releases/pre-releases.
Is this still an issue in the current Minecraft Snapshot 15w47c or later? If so, please update the affected versions in order to best aid Mojang ensuring bugs are still valid in the latest releases/pre-releases.
Please link this in the description of the report.
The following is based on a decompiled version of Minecraft 1.12 using MCP 940.
This is caused because it doesn't display new gui. (Refresh)
Fix:
else if (this.editingServer)
{
this.editingServer = false;
if (result && guilistextended$iguilistentry
instanceof ServerListEntryNormal)
{
...
}
//this.mc.displayGuiScreen(this);
/* Replace this with */
this.mc.displayGuiScreen(new
GuiMultiplayer(this.parentScreen));
}
}
Confirmed. I will provide screenshots in a sec