I think the server toys with us; coming back right as we tried to replace it. Future reference, try to replace it earlier, to make it jealous and return earlier.
For the record, the usual server is irc://irc.eyesonff.com/ ports 6667 6669 and 7000 in channel #eoff
