diff options
Diffstat (limited to 'otherlibs/threads/Tests/close.ml')
| -rw-r--r-- | otherlibs/threads/Tests/close.ml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/otherlibs/threads/Tests/close.ml b/otherlibs/threads/Tests/close.ml deleted file mode 100644 index 21ebb44a6a..0000000000 --- a/otherlibs/threads/Tests/close.ml +++ /dev/null @@ -1,14 +0,0 @@ -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 () |