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 (file)
--- 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;