]> From: Xavier Leroy <xavier.leroy@inria.fr> >The other possibility is to use close_out_noerr and close_in_noerr >that will just ignore the errors arising from the closing of the >underlying file descriptor. But this can be dangerous: certain >implementations of NFS can report write errors not at the time of the >writing, but at the time of the closing, and presumably you're >interested in getting these errors reported. It's also dangerous if you have multiple threads because the scenario I mentioned at http://caml.inria.fr/archives/200311/msg00254.html is possible. -- Tim Freeman tim@fungible.com GPG public key fingerprint ECDF 46F8 3B80 BB9E 575D 7180 76DF FE00 34B1 5C78 Your levity is good. It relieves tension and fear of death. -- Terminator 3 ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners