On Sun, 16 Mar 2008 21:39:31 +0000, Steve Kemp wrote: > Please try this patch:
Thanks, I'll try the next time I encounter this problem. > The core of this problem seems to be a DNS-related one, and I guess > toggling the behaviour of curl in this case might make it better. Sounds reasonable. > Untested, as I cannot reproduce this problem - even if I add a firewall > to drop outgoing DNS requests.. I can't reproduce it either, it only "happens" under some weird circumstances (either high packet loss on my internet connection or very slow and negative responses from the authoritative nameservers). Cheers, gregor -- .''`. http://info.comodo.priv.at/ | gpg key ID: 0x00F3CFE4 : :' : debian: the universal operating system - http://www.debian.org/ `. `' member of https://www.vibe.at/ | how to reply: http://got.to/quote/ `- NP: Beatles
signature.asc
Description: Digital signature
