Now handles resolving DNS-server hostnames from /etc/hosts. Rev: lib/modules/Protocols.pmod/DNS.pmod:1.9