diff options
| author | Josef Weidendorfer <Josef.Weidendorfer@gmx.de> | 2005-11-10 14:12:19 +0100 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-11-10 15:57:56 -0800 |
| commit | 66c9ec25553ce7332c46e2017b9c4d7c26310fff (patch) | |
| tree | e47910c09e5fdc71577079832d2fe852696b781a | |
| parent | ad7db62113368279a1b6994790bf30925fabea33 (diff) | |
| download | git-66c9ec25553ce7332c46e2017b9c4d7c26310fff.tar.gz | |
Let git-clone/git-fetch follow HTTP redirections
Otherwise, git-clone silently failed to clone a remote
repository where redirections (ie. a response with a
"Location" header line) are used.
This includes the fixes from Nick Hengeveld.
Signed-off-by: Josef Weidendorfer <Josef.Weidendorfer@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
| -rwxr-xr-x | git-clone.sh | 2 | ||||
| -rwxr-xr-x | git-fetch.sh | 2 | ||||
| -rw-r--r-- | http-fetch.c | 2 |
3 files changed, 4 insertions, 2 deletions
diff --git a/git-clone.sh b/git-clone.sh index 4fdd652514..aafcc18aba 100755 --- a/git-clone.sh +++ b/git-clone.sh @@ -23,7 +23,7 @@ fi http_fetch () { # $1 = Remote, $2 = Local - curl -nsf $curl_extra_args "$1" >"$2" + curl -nsfL $curl_extra_args "$1" >"$2" } clone_dumb_http () { diff --git a/git-fetch.sh b/git-fetch.sh index 31e5f4c722..8564cbfd7a 100755 --- a/git-fetch.sh +++ b/git-fetch.sh @@ -230,7 +230,7 @@ do $u =~ s{([^-a-zA-Z0-9/.])}{sprintf"%%%02x",ord($1)}eg; print "$u"; ' "$remote_name") - head=$(curl -nsf $curl_extra_args "$remote/$remote_name_quoted") && + head=$(curl -nsfL $curl_extra_args "$remote/$remote_name_quoted") && expr "$head" : "$_x40\$" >/dev/null || die "Failed to fetch $remote_name from $remote" echo >&2 Fetching "$remote_name from $remote" using http diff --git a/http-fetch.c b/http-fetch.c index 88b74b4341..99921cc8da 100644 --- a/http-fetch.c +++ b/http-fetch.c @@ -269,6 +269,8 @@ static CURL* get_curl_handle(void) curl_low_speed_time); } + curl_easy_setopt(result, CURLOPT_FOLLOWLOCATION, 1); + return result; } |