Original bug ID: 2198
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Didier Remy
Version: 3.07+2
OS: linux redhat 7.1
Submission from: morgon.inria.fr (128.93.8.33)

Il semble que readdir sur un descripteur ferme bloque en version bytecode.
On recoit correctement le End_of_file en version native.

Voici un example qui met le probleme en evidence.

 Didier

morgon:/tmp$ cat foo.ml
open Unix

let () = ()
let tmp = opendir "/tmp";;
let _ = closedir tmp;;
let _ = prerr_endline
"Reading to read in a closed dirhandler";;
let should_not_block =
try ignore (readdir tmp); prerr_endline "Done!"
with End_of_file -> prerr_endline "End_of_file!"
morgon:/tmp$ ocamlc -o foo.byte unix.cma foo.ml
morgon:/tmp$ ocamlopt -o foo.opt unix.cmxa foo.ml
morgon:/tmp$ ./foo.opt
Reading to read in a closed dirhandler
End_of_file!
morgon:/tmp$ ./foo.byte
Reading to read in a closed dirhandler

(* blocking *)