on Windows, reading from stdin blocks the whole domain.

[bdodrem]

I tried to read a line from stdin with a timeout (code below). On Windows, the process blocks until I press Enter (not on Linux).
So I guess, reading the stdin on Windows blocks the whole domain.

open Eio.Std
open Eio.Buf_read
let _ = Eio_main.run (fun env -> 
    let readoneline () = traceln "%s" @@ parse_exn ~max_size:1024 line env#stdin  in
    Eio.Time.with_timeout_exn env#clock 2. readoneline
  )

Running the code :

$ cat | dune exec ./test.exe

blocks untill Enter is pressed

[talex5]

Probably needs a check for this. I see posix has one, but windows doesn't:

eio/lib_eio_posix/low_level.ml

Lines 50 to 53 in fdd2593

	let read fd buf start len =
	if Fd.is_blocking fd then await_readable "read" fd;
	Fd.use_exn "read" fd @@ fun fd ->
	do_nonblocking Read "read" (fun fd -> Unix.read fd buf start len) fd

eio/lib_eio_windows/low_level.ml

Lines 41 to 43 in fdd2593

	let read fd buf start len =
	Fd.use_exn "read" fd @@ fun fd ->
	do_nonblocking Read (fun fd -> Unix.read fd buf start len) fd