SERVERNAME=irc-dev.libreplanet.org