Fix sleep delay for the non-threaded Windows RTS
authorSimon Marlow <simonmar@microsoft.com>
Tue, 20 Feb 2007 09:07:16 +0000 (09:07 +0000)
committerSimon Marlow <simonmar@microsoft.com>
Tue, 20 Feb 2007 09:07:16 +0000 (09:07 +0000)
commitca8ac445fedf1ef7604ba0b21f2bca0abe461ef8
treef8155f269e24c64fff65f9585c1ff37db0303f04
parentad17cf6e34b6ab03f19914e7d2c1262b073db3fa
Fix sleep delay for the non-threaded Windows RTS
This is the Windows counterpart to "Make the non-threaded-RTS
threadDelay wait at least as long as asked"
rts/win32/IOManager.c