erc-default-server

erc-default-server is a variable defined in `erc.el'.
Its value is

"irc.freenode.net"

• This variable may be risky if used as a file-local variable.

Documentation:
IRC server to use if it cannot be detected otherwise.