summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Weiss <holger@zedat.fu-berlin.de>2014-01-01 13:36:10 (GMT)
committerHolger Weiss <holger@zedat.fu-berlin.de>2014-01-01 13:36:10 (GMT)
commitbd90d958b4f4e9d2fc534cd7bd8a28278fe21546 (patch)
tree2a411b44fad733014ef534284b6f2fc5b4b94f96
parent5e61217e20794fc55f9e1625fcd73d06df89b4e1 (diff)
downloadsite-bd90d958b4f4e9d2fc534cd7bd8a28278fe21546.tar.gz
check-mirrors: Have curl(1) retry FTP transfers
Don't give up immediately if transferring the timestamp file failed.
-rwxr-xr-xbin/check-mirrors3
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/check-mirrors b/bin/check-mirrors
index f1fb6fd..4859a63 100755
--- a/bin/check-mirrors
+++ b/bin/check-mirrors
@@ -136,7 +136,8 @@ for mirror in $mirrors
136do 136do
137 url="${mirror%/}/timestamp" 137 url="${mirror%/}/timestamp"
138 138
139 if curl -s -S -O -m 600 --ftp-method 'nocwd' "$url" >'curl.log' 2>&1 139 if curl -s -S -O -m 600 --retry 2 --ftp-method 'nocwd' "$url" \
140 >'curl.log' 2>&1
140 then 141 then
141 cmp -s 'expected' 'timestamp' \ 142 cmp -s 'expected' 'timestamp' \
142 || echo >&2 "$mirror is outdated ($(cat 'timestamp'))." 143 || echo >&2 "$mirror is outdated ($(cat 'timestamp'))."