blob: 21ebb44a6a52ba269810c0d623daf83bd5955035 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
let main () =
let (rd, wr) = Unix.pipe() in
Thread.create
(fun () ->
Thread.delay 3.0;
prerr_endline "closing fd...";
Unix.close rd)
();
let buf = String.create 10 in
prerr_endline "reading...";
Unix.read rd buf 0 10;
prerr_endline "read returned"
let _ = Unix.handle_unix_error main ()
|
