diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-08-20 14:42:47 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-08-20 14:42:47 +0200 |
commit | 629dee358ea0879ae42a026dae6aacc41cb8042a (patch) | |
tree | 766ff4f3f7df0d591cf6353e840e79bba0ea2830 /bbot/agent/agent.cxx | |
parent | f34a7f32a4492465e0b0f1874845d285a69b86f9 (diff) |
Add support for controller request retries, connection timeout
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. |