diff options
| author | Simon Rettberg | 2022-08-10 11:40:54 +0200 |
|---|---|---|
| committer | Simon Rettberg | 2022-08-10 11:40:54 +0200 |
| commit | ffc795bf17f6d0a4cbccde1f8e5b3f5cb4511cfc (patch) | |
| tree | 56746b1cf580cde68506d7c38049c5d4d0d7a78d /core/includes | |
| parent | [disk-partitions] Putting swap in thinpool was a bad idea, use ID44 (diff) | |
| download | mltk-ffc795bf17f6d0a4cbccde1f8e5b3f5cb4511cfc.tar.gz mltk-ffc795bf17f6d0a4cbccde1f8e5b3f5cb4511cfc.tar.xz mltk-ffc795bf17f6d0a4cbccde1f8e5b3f5cb4511cfc.zip | |
[downloader] Add sleep to git clone retries
Diffstat (limited to 'core/includes')
| -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" |