Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-08-05 09:49:58 -0700 (Thu, 05 Aug 2004)
Revision: 480
Log message:
Fixed a problem with threads and pipes. For example, the command
echo 1 | cat
would block, because the handle duplicates used by the thread
for the echo would be inherited by the cat. So cat would have
a handle to its own input, and the pipe would never get closed.