max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix: free lthread resources on Windows

Browse source
This commit is contained in:
Sebastian Ullrich 2020-09-24 14:06:13 +02:00 • committed by Leonardo de Moura
parent 19dcbdcec9
commit 9dffc61e27
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/runtime/thread.cpp
View file

@ -95,6 +95,10 @@ struct lthread::imp {
}
}
~imp() {
CloseHandle(m_thread);
}
void join() {
if (WaitForSingleObject(m_thread, INFINITE) == WAIT_FAILED) {
throw exception("failed to join thread");