Fix pthread_detach for threads not yet registered (Cygwin, winpthreads)
authorIvan Maidanski <ivmai@mail.ru>
Wed, 27 Sep 2017 07:52:09 +0000 (10:52 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Wed, 27 Sep 2017 07:52:09 +0000 (10:52 +0300)
commit4c36a51c9112c36c6ccf2d4d43e41ddb093d183a
tree3456053aacf479bd8233a3f1c71e0804390152f2
parent27fdd250a0c1848677aad00510e3c46b761735b8
Fix pthread_detach for threads not yet registered (Cygwin, winpthreads)

* win32_threads.c [GC_PTHREADS] (GC_pthread_detach): Repeat
GC_lookup_pthread() (with a 10 msec delay) while t is null; add comment
and TODO; remove ABORT if t is null (as t is never null after
pthread_detach call).
win32_threads.c