Simon Marlow writes:
It doesn't say what happens to select() on a socket that
times out, so I'm not sure what will happen if you try
this in GHC.
Okay, thanks for the information! Looks like a racer thread
per timeout is the better approach after all.
Peter
