From 2a8b57f1858bd57e1f7744612e3e0990a3d4d377 Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Sun, 29 Dec 2013 13:26:03 +0100
Subject: check-mirrors: Add a timeout

Make sure that curl(1) won't hang forever.

diff --git a/bin/check-mirrors b/bin/check-mirrors
index 7fbc65c..e82e2cd 100755
--- a/bin/check-mirrors
+++ b/bin/check-mirrors
@@ -94,7 +94,7 @@ for mirror in $mirrors
 do
 	url="${mirror%/}/timestamp"
 
-	if curl -s -S -O "$url" >'curl.log' 2>&1
+	if curl -s -S -O -m 600 "$url" >'curl.log' 2>&1
 	then
 		cmp -s 'expected' 'timestamp' \
 		    || echo >&2 "$mirror is outdated ($(cat 'timestamp'))."
-- 
cgit v0.10-9-g596f