Commit 3d9e52ac5661fda80d2967df22a22a4d92fd1cdf
2012-05-01T19:52:55
When retransmitting a timed-out DNS request, pick a fresh nameserver. Otherwise, requests initially sent to a failing nameserver would stay there indefinitely, even if other nameservers would work. Fix for sourceforge bug 3518439