diff options
Diffstat (limited to 'bin/check-mirrors')
-rwxr-xr-x | bin/check-mirrors | 3 |
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 | |||
136 | do | 136 | do |
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'))." |