PATCH: Timeouts for Windows

[Mark Mitchell]

This patch implements timeout support for Windpws.

The support is not quite as good as for UNIX because the Python Win32
extensions do not yet support CreateJobObject and related functions.
Therefore, if the child process has children of its own, this patch does not
ensure that they are killed when the timeout expires.  Does anyone happen to
know if the Win32 extensions are going to add that support any time soon?

--
Mark Mitchell
CodeSourcery, LLC
mark at codesourcery.com
-------------- next part --------------
A non-text attachment was scrubbed...
Name: diffs
Type: application/octet-stream
Size: 10894 bytes
Desc: not available
URL: <http://sourcerytools.com/pipermail/qmtest/attachments/20030925/a3b4e1db/attachment.obj>