ServerAddressSpaceFix

        A few months ago, I wanted to play on a server. I copied the address from the server's official website, pasted it into the "Server Address" field, saved it, and unexpectedly got an "Unknown Host" error.
        No panic, this was obviously DNS failing to resolve the corresponding address. Let's try pinging it first.
        Ping could resolve the domain name to an address, and then I suspected the Great Firewall might be doing something again, so I used a tool from ZhanZhangJia to test it. The results were exactly the same as mine.
        That was rather strange.
        Then, after fiddling with it for a while, I found the problem.
        There was a space at the end of the server address I copied.
        That was pretty hard to accept. After continuing to tinker for a while and confirming that the problem could be reproduced reliably, I submitted a bug report to the tracker.
        And guess what?
        
        
        
        My English is completely terrible, so I did not continue talking about it. The issue description was written using a translator.
        But honestly, I felt this was kind of absurd.
        Since your address is a String, how hard could it be to call trim on it afterwards?
        Also, as a player, when you tell me, "This was your own carelessness, so it does not even count as a bug," I cannot accept that.
        So, this mod was born.