diff options
| author | Petr Baudis <pasky@suse.cz> | 2008-08-07 02:06:30 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-08-07 11:39:14 -0700 |
| commit | fd35e42683113e367eee0bb8ac956dde3d95edde (patch) | |
| tree | 30ddedf85f7d3f2f89944e4cebd14111491fc9f2 /contrib/continuous | |
| parent | 781c1834f5419bdf81bb7f3750170ccd6b809174 (diff) | |
| download | git-fd35e42683113e367eee0bb8ac956dde3d95edde.tar.gz | |
Fail properly when cloning from invalid HTTP URL
Currently, when cloning from invalid HTTP URL, git clone will possibly
return curl error, then a confusing message about remote HEAD and then
return success and leave an empty repository behind, confusing either
the end-user or the automated service calling it (think repo.or.cz).
This patch changes the error() calls in get_refs_via_curl() to die()s,
akin to the other get_refs_*() functions.
Cc: Daniel Barkalow <barkalow@iabervon.org>
Signed-off-by: Petr Baudis <pasky@suse.cz>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/continuous')
0 files changed, 0 insertions, 0 deletions