diff options
Diffstat (limited to 'rts/win32/AsyncWinIO.c')
| -rw-r--r-- | rts/win32/AsyncWinIO.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rts/win32/AsyncWinIO.c b/rts/win32/AsyncWinIO.c index 7fb71e92e7..5f61f815f3 100644 --- a/rts/win32/AsyncWinIO.c +++ b/rts/win32/AsyncWinIO.c @@ -147,7 +147,7 @@ There we initialize IO manager locale variables and. * call ioManagerStart() - * Creat a thread to execute "runner" + * Create a thread to execute "runner" We never truly shut down the IO Manager. While this means we might block forever on the IOPort if the IO Manager is no longer @@ -274,6 +274,7 @@ void shutdownAsyncWinIO(bool wait_threads) WaitForSingleObject (workerThread, INFINITE); } completionPortHandle = INVALID_HANDLE_VALUE; + CloseHandle (workerThread); workerThread = NULL; workerThreadId = 0; free (entries); |