This patch makes that DARCS_CONNECTION_TIMEOUT is taken into account.
Noticeably, in cases like the following (non-responding server):
export DARCS_CONNECTION_TIMEOUT=1 && darcs changes --repo=http://10.1.2.3/
Also, it seems that the correct parameter to pass to libcurl is
CURLOPT_CONNECTTIMEOUT, which limit the connection time to a server.
CURLOPT_TIMEOUT (used up to now) is a timeout on any connection:
for instance transferring a big patch can be interrupted by such limit.
So this patch uses CURLOPT_CONNECTTIMEOUT instead of CURLOPT_TIMEOUT.
1 patch for repository http://darcs.net:
Fri Feb 22 00:43:25 CET 2013 Guillaume Hoffmann <guillaumh@gmail.com>
* correctly set curl connection timeout
Attachments
|