diff options
| -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" |