-
Notifications
You must be signed in to change notification settings - Fork 71
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
Getaddrinfo raises error on some backends #351
Comments
Aye, it returns empty as you expected. |
…#351) Unix.getaddrinfo used in u-ring ignores gar_errno and returns an empty list, this makes the luv backend follow a similar behaviour.
…#351) Unix.getaddrinfo used in u-ring ignores gar_errno and returns an empty list, this makes the luv backend follow a similar behaviour.
Should we close this, now that Eio doesn't have the luv backend anymore? |
It also affects eio_posix (I've updated the title). |
I'm hitting an issue via cohttp-eio with a statically compiled binary using musl, where getaddrinfo fails to resolve dns names. I hit this branch https://github.com/mirage/ocaml-cohttp/blob/3cd08e5a34d38a322055390b86f4b5dd6bdc01e7/cohttp-eio/src/client.ml#L82 with the error "failed to resolve hostname". It seems not relying on the glibc getaddrinfo would be nice for this reason as well. |
It seems that luv raises an exception instead of returning an empty list.
This returns:
I can't currently run this properly on Linux with Uring but I'm assuming it returns
[]
becauseUnix.getaddrinfo
does.The text was updated successfully, but these errors were encountered: