Re: >.< that's me
Here's what I'd do:
I'd change the name of the current servers.txt so the game wouldn't use it's information.
Then I'd copy all the information except the bad server into a new "Servers.txt"
That way you could use that file until the bad server is fixed. Then you could delete the new Servers.txt and change the name of the old one back. That way you won't accidently forget the server's IP