https://sourceforge.net/p/mlscript/bugs/1/Recent changes to 1: Pipe is not closed if script side wasn't cleanly closedenSat, 05 Feb 2005 11:05:05 -0000https://sourceforge.net/p/mlscript/bugs/1/<div class="markdown_content"><p>If the script crashes or just forgets to cleanly close<br /> the pipe by calling close(), the pipe and its reader<br /> thread don't close.</p></div>Amir SzekelySat, 05 Feb 2005 11:05:05 -0000https://sourceforge.net7f2236fe1297cda28e25127fa60c4474563dbcca