Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-19 21:32:27 -0700 (Tue, 19 Aug 2003)
Revision: 142
Log message:
Added better support for win32. Since Unix.select works only on sockets,
we use sockets instead of pipes. The unix version still uses Unix.pipe,
so this should be a performance hit only on win32.