[RFC PATCH] Add WEBDAV timeout to http-fetch.

[Sean <seanlkml@sympatico.ca>]

If a server is having problems delivering the Git repo over WEBDAV,
timeout after two minutes so that a regular http transfer can
be tried.

---

 http-fetch.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

Not sure if this is the correct fix, but it should improve the situation
for cloning and fetching from servers like Takis's.  When connecting to
his server WEBDAV doesn't respond after the initial connection.  Nothing
proceeds until the OS connection times out many minutes later.

This patch sets the CURL timeout to two minutes so that things proceed
sooner.  Even with this patch it takes two extra minutes of "dead time"
to complete all operations; obivously this still sucks.

However, I don't know if the two minute timeout is long enough for
all cases with a server where WEBDAV is functioning properly.
Hopefully someone who knows more about Curl can comment and perhaps
offer another solution.

Maybe the real solution is just to figure out and fix whatever is
going on with the WEBDAV server and forget this patch.

Sean


diff --git a/http-fetch.c b/http-fetch.c
index bc74f30..046245a 100644
--- a/http-fetch.c
+++ b/http-fetch.c
@@ -861,6 +861,7 @@ static int remote_ls(struct alt_base *re
 	curl_easy_setopt(slot->curl, CURLOPT_UPLOAD, 1);
 	curl_easy_setopt(slot->curl, CURLOPT_CUSTOMREQUEST, DAV_PROPFIND);
 	curl_easy_setopt(slot->curl, CURLOPT_HTTPHEADER, dav_headers);
+	curl_easy_setopt(slot->curl, CURLOPT_TIMEOUT, 120);
 
 	if (start_active_slot(slot)) {
 		run_active_slot(slot);
-- 
1.4.2.3.gabd697