diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2016-05-18 16:51:32 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-05-18 16:51:32 +0200 |
| commit | e9f1b8f78c02271a80bfbd95f4aa3b0d3d81d0b8 (patch) | |
| tree | 07b9ff6b21494f383a376590238b4c4d1537f2a8 | |
| parent | 188957475721f465cc0045d50f558604208ef63f (diff) | |
Increase curl timeout in mrrepo to 30 seconds
| -rwxr-xr-x | server/mrrepo | 2 |
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" |