diff options
Diffstat (limited to 'rts')
| -rw-r--r-- | rts/win32/Ticker.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rts/win32/Ticker.c b/rts/win32/Ticker.c index 929e6f4086..1c45482651 100644 --- a/rts/win32/Ticker.c +++ b/rts/win32/Ticker.c @@ -153,7 +153,8 @@ exitTicker (rtsBool wait) if (!GetExitCodeThread(tickThread, &exitCode)) { return; } - if (exitCode != STILL_ACTIVE) { + CloseHandle(tickThread); + if (exitCode != STILL_ACTIVE) { tickThread = INVALID_HANDLE_VALUE; if ( hStopEvent != INVALID_HANDLE_VALUE ) { CloseHandle(hStopEvent); |