Subversion not resolving hostnames

Hi,

There seems to be a heisenbug [1] with resolving hostnames.

Firstly, note that the host command can resolve the server name, so it's not a
DNS problem...

$ host svn.kde.org
svn.kde.org has address 195.135.221.74

And also that svn can use the server when given it's IP address:

$ svn ls https://`host svn.kde.org|awk '{print $4}'`/home/kde
branches/
tags/
trunk/

But, when subversion is left to resolve the name, I get:

$ svn ls https://svn.kde.org/home/kde
svn: PROPFIND request failed on '/home/kde'
svn: PROPFIND of '/home/kde': Could not resolve hostname `svn.kde.org': Host
not found (https://svn.kde.org)

Now, in order to actually connect to the server by name, I need to set up a
proxy in .subversion/servers:
[groups]
group1 = svn.kde.org

[group1]
http-proxy-host = wwwcache
http-proxy-port = 8080

Note that now, Subversion can't even resolve the name for the proxy, although
the host command can:

$ host wwwcache
wwwcache.ncl.ac.uk has address 128.240.229.4

$ svn ls https://svn.kde.org/home/kde
svn: PROPFIND request failed on '/home/kde'
svn: PROPFIND of '/home/kde': Could not resolve hostname `wwwcache': Temporary
failure in name resolution (https://svn.kde.org)

Now here's the heisenbug bit: when I try to track down the problem by using
strace, the problem disappears...

$ strace -o /dev/null svn ls https://svn.kde.org/home/kde
branches/
tags/
trunk/

I find it slightly more weird that I *don't* need to specify a proxy
in .subversion/servers to access the server by IP address (see
second example above), but I *do* need to specify the proxy to access
the server by name (the previous example fails if I remove the proxy options).

FWIW, my computer is using the same DNS servers as the proxy.

I wouldn't mind strace'ing Subversion each time I use it to make it work,
but it makes sharing scripts that access the server quite difficult.

Any ideas?

Thanks,
Martin

[1] http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?query=heisenbug

---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscribe@subversion.tigris.org
For additional commands, e-mail: users-help@subversion.tigris.org
Received on Tue Aug 9 18:56:39 2005