Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix(curl): proper error handling #1056

Merged
merged 1 commit into from
Jun 30, 2024

Conversation

rgrinberg
Copy link
Member

  • Use a result type for responses and bodies. This makes it easier to use the API correctly.

  • Properly handle errors. Wake up the response lwt/defererd when we get a code on errors.

Signed-off-by: Rudi Grinberg [email protected]

* Use a result type for responses and bodies. This makes it easier to
  use the API correctly.

* Properly handle errors. Wake up the response lwt/defererd when we get
  a code on errors.

Signed-off-by: Rudi Grinberg <[email protected]>

<!-- ps-id: c776a6aa-9563-4b50-a8be-4d8861a7ee80 -->
@rgrinberg rgrinberg merged commit d457c34 into master Jun 30, 2024
10 of 26 checks passed
@rgrinberg rgrinberg deleted the ps/rr/fix_curl___proper_error_handling branch June 30, 2024 11:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant