aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-05-18 16:51:32 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-05-18 16:51:32 +0200
commite9f1b8f78c02271a80bfbd95f4aa3b0d3d81d0b8 (patch)
tree07b9ff6b21494f383a376590238b4c4d1537f2a8
parent188957475721f465cc0045d50f558604208ef63f (diff)
Increase curl timeout in mrrepo to 30 seconds
-rwxr-xr-xserver/mrrepo2
1 files changed, 1 insertions, 1 deletions
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"