diff options
Diffstat (limited to 'bbot/agent/agent.cxx')
| -rw-r--r-- | bbot/agent/agent.cxx | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/bbot/agent/agent.cxx b/bbot/agent/agent.cxx index d345472..c8e316a 100644 --- a/bbot/agent/agent.cxx +++ b/bbot/agent/agent.cxx @@ -1029,7 +1029,10 @@ try curl::post, u, "--header", "Content-Type: text/manifest", - "--max-time", ops.request_timeout ()); + "--retry", ops.request_retries (), + "--retry-max-time", ops.request_timeout (), + "--max-time", ops.request_timeout (), + "--connect-timeout", ops.connect_timeout ()); // This is tricky/hairy: we may fail hard parsing the output before // seeing that curl exited with an error and failing softly. @@ -1184,7 +1187,10 @@ try curl::post, u, "--header", "Content-Type: text/manifest", - "--max-time", ops.request_timeout ()); + "--retry", ops.request_retries (), + "--retry-max-time", ops.request_timeout (), + "--max-time", ops.request_timeout (), + "--connect-timeout", ops.connect_timeout ()); // This is tricky/hairy: we may fail hard writing the input before // seeing that curl exited with an error and failing softly. |