call ShutdownIOManager() before closing handles

To avoid IO requests completing only to discover that the
completed_table_sema has been CloseHandle()'d.  This all looks a bit
wrong, though: we shouldn't really be waiting for these requests to
complete, they might take forever.

diff --git a/rts/win32/AsyncIO.c b/rts/win32/AsyncIO.c
index 3f99113..d471ee8 100644 (file)
--- a/rts/win32/AsyncIO.c
+++ b/rts/win32/AsyncIO.c
@@ -173,6 +173,7 @@ startupAsyncIO()
 void
 shutdownAsyncIO()
 {
+    ShutdownIOManager();
     if (completed_req_event != INVALID_HANDLE_VALUE) {
         CloseHandle(completed_req_event);
        completed_req_event = INVALID_HANDLE_VALUE;
@@ -185,7 +186,6 @@ shutdownAsyncIO()
         CloseHandle(completed_table_sema);
        completed_table_sema = NULL;
     }
-    ShutdownIOManager();
 }
 
 /*