*[0.13.1] Connect to Server doesn't remember DNS name

[IsoSchiz]

After connecting to a server via a DNS name, the box subsequently contains the resolved IP address instead of the symbolic DNS name.

This differs from 0.12 and I think this is a regression (especially since my game hoster keeps faffing with the IP address of his host )

[Loewchen]

I can confirm that it saves the resolved IP, not the user input.

[cube]

Thanks for the report. This got broken with some of the matching server changes in 0.13.0. It should be fixed for 0.13.7.