-
Notifications
You must be signed in to change notification settings - Fork 82
Getaddrinfo raises error on some backends #351
Copy link
Copy link
Open
Labels
bugSomething isn't workingSomething isn't working
Description
It seems that luv raises an exception instead of returning an empty list.
open Eio
let lookup net hostname =
match Net.getaddrinfo_stream net hostname with
| [] -> ()
| _ -> assert false
let () =
let hostname = "blahblahblah.tarides.com" in
(assert (Unix.getaddrinfo hostname "" [] = []));
Eio_main.run (fun env -> lookup env#net hostname)This returns:
Fatal error: exception Eio_luv.Luv_error(EAI_NONAME) (* unknown node or service *)I can't currently run this properly on Linux with Uring but I'm assuming it returns [] because Unix.getaddrinfo does.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
bugSomething isn't workingSomething isn't working