[project @ 2005-04-22 17:50:13 by sof]
authorsof <unknown>
Fri, 22 Apr 2005 17:50:13 +0000 (17:50 +0000)
committersof <unknown>
Fri, 22 Apr 2005 17:50:13 +0000 (17:50 +0000)
commitfbf16357622e4bf6ec5f00383dd167d5e7dbc9e1
treed5fd8515c044d1f0d1df181b9b6e5c62c3f4e46e
parentc3b7d57d0785dfe48ec7f31c34571fc7c3d39a0a
[project @ 2005-04-22 17:50:13 by sof]
Switch to a manual-reset event for the completed-console-event object;
with auto-reset, we ran the risk of leaving it in a signalled state.

Merge to STABLE.
ghc/rts/win32/ConsoleHandler.c