Recent changes to 1: Pipe is not closed if script side wasn't cleanly closedhttps://sourceforge.net/p/mlscript/bugs/1/2005-02-05T11:05:05ZRecent changes to 1: Pipe is not closed if script side wasn't cleanly closedPipe is not closed if script side wasn't cleanly closed2005-02-05T11:05:05Z2005-02-05T11:05:05ZAmir Szekelyhttps://sourceforge.net/u/kichik/https://sourceforge.net7f2236fe1297cda28e25127fa60c4474563dbcca<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>