[project @ 1999-11-03 15:04:25 by simonmar]
authorsimonmar <unknown>
Wed, 3 Nov 1999 15:04:25 +0000 (15:04 +0000)
committersimonmar <unknown>
Wed, 3 Nov 1999 15:04:25 +0000 (15:04 +0000)
commit5710a2d439418dc75b567ef056aea69e50cb6637
tree506e40aeb65399a82b2be05aad3306813d283e01
parent179e1b1c951f9a99367b23c2ae0daae94b5a3421
[project @ 1999-11-03 15:04:25 by simonmar]
- 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.
ghc/rts/Select.c