From e9f1b8f78c02271a80bfbd95f4aa3b0d3d81d0b8 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Wed, 18 May 2016 16:51:32 +0200
Subject: Increase curl timeout in mrrepo to 30 seconds

---
 server/mrrepo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'server')

diff --git a/server/mrrepo b/server/mrrepo
index fcd2272..71eff69 100755
--- a/server/mrrepo
+++ b/server/mrrepo
@@ -67,7 +67,7 @@ fi
 cd $path
 
 curl_ops="-f"              # Fail on HTTP errors.
-curl_ops+=" --max-time 10" # Finish in 10 seconds.
+curl_ops+=" --max-time 30" # Finish in 30 seconds.
 
 if [ $verb -ge 1 ]; then
   curl_ops+=" --progress-bar"
-- 
cgit v1.1