[project @ 2002-07-09 20:44:24 by sof]
authorsof <unknown>
Tue, 9 Jul 2002 20:44:24 +0000 (20:44 +0000)
committersof <unknown>
Tue, 9 Jul 2002 20:44:24 +0000 (20:44 +0000)
commitd4fc96655eba2dd67726f8043d073ec41ea03662
treeab910bb3353fb95c7f2c54b717a27012773281cd
parent689f0ca95a74bc622223b0cf1997736d43af63d0
[project @ 2002-07-09 20:44:24 by sof]
awaitEvent: better handling of EBADFs, i.e., don't
unconditionally barf() and exit if select() reports
an EBADF. See source code comments for details, but
in short, we attempt to unblock all threads to handle
the error condition before bailing out.

If only select() would indicate which file descriptor
that was the bad one.

(There's no good reason why select() errors other
than EBADF could also be handled this way, but let's
focus on it for now..)
ghc/rts/Select.c