patch resolver.py for dnsdomain and dnsserver