diff options
| author |  Catalin Marinas <catalin.marinas@gmail.com> | 2005-08-08 10:53:23 +0100 |
|---|---|---|
| committer |  Junio C Hamano <junkio@cox.net> | 2005-08-08 22:51:44 -0700 |
| commit | affa40d2f8c5e72af5896cf395ef77d4162908cd (patch) | |
| tree | 572d4ab7df2134b99851c86d518ee9947abcc28e /git-clone-dumb-http | |
| parent | Makefile dependency fix. (diff) | |
| download | tgif-affa40d2f8c5e72af5896cf395ef77d4162908cd.tar.xz | |
[PATCH] Make curl fail on server error
Some http servers return an HTML error page and git reads it as normal
data. Adding -f option makes curl fail silently.
Signed-off-by: Catalin Marinas <catalin.marinas@gmail.com>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-clone-dumb-http')
| -rwxr-xr-x | git-clone-dumb-http | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-clone-dumb-http b/git-clone-dumb-http index 8203c67626..50527086a0 100755 --- a/git-clone-dumb-http +++ b/git-clone-dumb-http @@ -14,7 +14,7 @@ if [ -n "$GIT_SSL_NO_VERIFY" ]; then fi http_fetch () { # $1 = Remote, $2 = Local - curl -ns $curl_extra_args "$1" >"$2" + curl -nsf $curl_extra_args "$1" >"$2" } cd "$D" && |