[project @ 2003-09-12 16:26:05 by sof]
authorsof <unknown>
Fri, 12 Sep 2003 16:26:05 +0000 (16:26 +0000)
committersof <unknown>
Fri, 12 Sep 2003 16:26:05 +0000 (16:26 +0000)
commitfe41b2dc5f874fd30681d7bfa78eb5b93e4f33f9
treefeeb1792b3b145f99d8b7e2843016c921e63404d
parent9fc59c6ee536c538f3f9b3ad12f09fbc7fd40ca3
[project @ 2003-09-12 16:26:05 by sof]
- Sleep()'s resolution is millisecs, not microsecs.
- adopt a more agressive policy for augmenting the thread pool
  to handle incoming requests (see code comments for details.)

  The previous policy ran the risk of starvation in rare (and hard
  to reproduce) cases, as spotted after having chased a bug
  for two days.

Merge to STABLE
ghc/rts/win32/IOManager.c