Remove the Windows Async IO Manager completely in THREADED_RTS mode

[ghc-hetmet.git] / rts / win32 / AsyncIO.c

diff --git a/rts/win32/AsyncIO.c b/rts/win32/AsyncIO.c
index 3f99113..cd0cf38 100644 (file)
--- a/rts/win32/AsyncIO.c
+++ b/rts/win32/AsyncIO.c
@@ -4,6 +4,9 @@
  *
  * (c) sof, 2002-2003.
  */
+
+#if !defined(THREADED_RTS)
+
 #include "Rts.h"
 #include "RtsUtils.h"
 #include <windows.h>
@@ -173,6 +176,7 @@ startupAsyncIO()
 void
 shutdownAsyncIO()
 {
+    ShutdownIOManager();
     if (completed_req_event != INVALID_HANDLE_VALUE) {
         CloseHandle(completed_req_event);
        completed_req_event = INVALID_HANDLE_VALUE;
@@ -185,7 +189,6 @@ shutdownAsyncIO()
         CloseHandle(completed_table_sema);
        completed_table_sema = NULL;
     }
-    ShutdownIOManager();
 }
 
 /*
@@ -354,3 +357,4 @@ resetAbandonRequestWait( void )
     ResetEvent(abandon_req_wait);
 }
 
+#endif /* !defined(THREADED_RTS) */