From eee4191b685cca0d8ca734d33a1669c2e163b23a Mon Sep 17 00:00:00 2001 From: Fedja Beader Date: Tue, 8 Oct 2024 01:10:55 +0200 Subject: Nuke retry.sh (use wget's own retry functionality) Not a 1:1 replacement. --- .tools/downloadlib.sh | 6 +++++- .tools/retry.sh | 15 --------------- 2 files changed, 5 insertions(+), 16 deletions(-) delete mode 100755 .tools/retry.sh diff --git a/.tools/downloadlib.sh b/.tools/downloadlib.sh index c1aff5a4..2e27ba80 100755 --- a/.tools/downloadlib.sh +++ b/.tools/downloadlib.sh @@ -6,7 +6,11 @@ export libname="$1_$2" mkdir libdownload cd libdownload rm "${zipname}" -../client-data/.tools/retry.sh wget -O "${zipname}" "https://git.themanaworld.org/mana/spm/builds/artifacts/$1/download?job=${libname}" + +wget --retry-connrefused --retry-on-host-error --tries=10 --waitretry=5 \ + -O "$zipname" \ + "https://git.themanaworld.org/mana/spm/builds/artifacts/$1/download?job=${libname}" + unzip "${zipname}" cp -r "bin/${libname}" .. cd .. diff --git a/.tools/retry.sh b/.tools/retry.sh deleted file mode 100755 index aaa50e98..00000000 --- a/.tools/retry.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/bash - -n=0 - -while true; do - $* - if [ "$?" == 0 ]; then - exit 0 - fi - if [[ $n -ge 10 ]]; then - exit -1 - fi - sleep 5s - n=$((n+1)) -done -- cgit v1.2.3-70-g09d2