From: Simon Marlow <simonmar@microsoft.com>
Date: Tue, 20 Feb 2007 09:07:16 +0000 (+0000)
Subject: Fix sleep delay for the non-threaded Windows RTS
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=ca8ac445fedf1ef7604ba0b21f2bca0abe461ef8

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"
---

diff --git a/rts/win32/IOManager.c b/rts/win32/IOManager.c
index 764be69..6af4245 100644
--- a/rts/win32/IOManager.c
+++ b/rts/win32/IOManager.c
@@ -190,7 +190,7 @@ IOWorkerProc(PVOID param)
 		     * 
 		     * Note: Sleep() is in milliseconds, not micros.
 		     */
-		    Sleep(work->workData.delayData.msecs / 1000);
+		    Sleep((work->workData.delayData.msecs + 999) / 1000);
 		    len = work->workData.delayData.msecs;
 		    complData = NULL;
 		    fd = 0;