On 8/31/06, David Brown <caml-list2@davidb.org> wrote:
> Turns out that if I'd read it more carefully, I should have realized that
> Gzip.close_out will also close the underlying handle. Apparently calling
> close_out twice on the same handle messes things up enough to segfault the
> garbage collector.
This is a known bug which is fixed in the current CVS-release:
http://caml.inria.fr/mantis/view.php?id=4039
Normally, closing an already closed channel a second time should not
cause any problems.
Regards,
Markus
--
Markus Mottl http://www.ocaml.info markus.mottl@gmail.com