Fix DNS resolving hanging issue
resolve_dns.py scripts with a large number of source subdomains, a very small percent don't get processed thus the script never finishes.
Note to self: There's a detailed log file of a such a run that might help investigating.
Deleting a branch is permanent. It CANNOT be undone. Continue?