diff options
Diffstat (limited to 'core/includes/downloader.inc')
| -rw-r--r-- | core/includes/downloader.inc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/core/includes/downloader.inc b/core/includes/downloader.inc index 6f1259c7..ea2ead7b 100644 --- a/core/includes/downloader.inc +++ b/core/includes/downloader.inc @@ -142,9 +142,11 @@ autoclone () { if [ -n "$branch" ]; then git clone --depth 1 -b "$branch" "$url" "$dstdir/$dst" && break pwarning "[Try $i] Could not clone $url branch $branch" + sleep 2 else if ! git clone "$url" "$dstdir/$dst"; then pwarning "[Try $i] Could not clone $url" + sleep 2 elif [ -n "$checkout" ]; then git -C "$dstdir/$dst" checkout "$checkout" && break perror "Could not checkout $checkout from $url" |