Sun Jan 20 03:15:32 PST 2008 Ian Lynagh <igloo at earth.li>
* Fix #1599: Improve timeout on Windows
We now run programs in a Job, which means that we can kill a process
and all of its children when a timeout happens.
M ./timeout/Makefile -1 +3
A ./timeout/WinCBindings.hs
M ./timeout/timeout.hs -43 +52