[project @ 2003-12-18 13:29:23 by simonmar]
authorsimonmar <unknown>
Thu, 18 Dec 2003 13:29:23 +0000 (13:29 +0000)
committersimonmar <unknown>
Thu, 18 Dec 2003 13:29:23 +0000 (13:29 +0000)
commite807565a9792b31ed02e37fd837375840be6a22f
tree2b22a6fbbebfb64e8697314066ab0e88cb6e5a4f
parent50ebfb020a18f2fa05129ee2e2c5a7752b10b141
[project @ 2003-12-18 13:29:23 by simonmar]
Optimisation in awaitEvent(): reset the abandonRequestWait() signal if
it isn't needed (compensates for not using PulseEvent() in
abandonRequestWait(), see AsyncIO.c for details).

Code cleanup in awaitEvent(): don't test the various exit conditions twice.
ghc/rts/win32/AwaitEvent.c