diff options
author | rpj <rpj> | 2005-05-18 14:34:18 +0000 |
---|---|---|
committer | rpj <rpj> | 2005-05-18 14:34:18 +0000 |
commit | 70fb72bb490c66f06cdab08ad656c4ce52c71448 (patch) | |
tree | 513aa651f6589c9c3d30dde2d6c0c958c9339d0b /ptw32_threadDestroy.c | |
parent | a10f66e68253f8296ea624ebc6b55cd75cd0ba79 (diff) |
''
Diffstat (limited to 'ptw32_threadDestroy.c')
-rw-r--r-- | ptw32_threadDestroy.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/ptw32_threadDestroy.c b/ptw32_threadDestroy.c index aa95e2c..eb9abfc 100644 --- a/ptw32_threadDestroy.c +++ b/ptw32_threadDestroy.c @@ -66,6 +66,17 @@ ptw32_threadDestroy (pthread_t thread) (void) pthread_mutex_destroy(&threadCopy.cancelLock); (void) pthread_mutex_destroy(&threadCopy.threadLock); + +#if ! defined (__MINGW32__) || defined (__MSVCRT__) || defined (__DMC__) + /* + * See documentation for endthread vs endthreadex. + */ + if (threadCopy.threadH != 0) + { + CloseHandle (threadCopy.threadH); + } +#endif + } } /* ptw32_threadDestroy */ |