From bd90d958b4f4e9d2fc534cd7bd8a28278fe21546 Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Wed, 1 Jan 2014 14:36:10 +0100
Subject: check-mirrors: Have curl(1) retry FTP transfers

Don't give up immediately if transferring the timestamp file failed.

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
 do
 	url="${mirror%/}/timestamp"
 
-	if curl -s -S -O -m 600 --ftp-method 'nocwd' "$url" >'curl.log' 2>&1
+	if curl -s -S -O -m 600 --retry 2 --ftp-method 'nocwd' "$url" \
+	    >'curl.log' 2>&1
 	then
 		cmp -s 'expected' 'timestamp' \
 		    || echo >&2 "$mirror is outdated ($(cat 'timestamp'))."
-- 
cgit v0.10-9-g596f