It's a file-descriptor leak spotted when we do a lot of Miou_unix.run (which is not the usual usage). However, it seems that the Gc.finalise does not work properly (or it never triggered). It seems that we must use the clean at the shutdown option (eg. OCAMLRUNPARAM=c) to be sure that everything (including finalisers) is cleaned but we should not impose to the user to use every-time this option.
It's a file-descriptor leak spotted when we do a lot of
Miou_unix.run(which is not the usual usage). However, it seems that theGc.finalisedoes not work properly (or it never triggered). It seems that we must use theclean at the shutdownoption (eg.OCAMLRUNPARAM=c) to be sure that everything (including finalisers) is cleaned but we should not impose to the user to use every-time this option.