-
Simon Marlow authored
- don't hold the scheduler lock while doing the select, since we might sit in there for a long time. - don't need the gettimeofday() hack on Linux, because select already returns the unslept time.
5710a2d4
- don't hold the scheduler lock while doing the select, since we might sit in there for a long time. - don't need the gettimeofday() hack on Linux, because select already returns the unslept time.