#1 Pipe is not closed if script side wasn't cleanly closed

[Amir Szekely]

If the script crashes or just forgets to cleanly close
the pipe by calling close(), the pipe and its reader
thread don't close.