Just deleting the last two lines from the threadCleanupWIN32() routine should fix this, see patch. Since the process is dying it shouldn't matter that we don't clean up completely.
Just deleting the last two lines from the threadCleanupWI N32() routine should fix this, see patch. Since the process is dying it shouldn't matter that we don't clean up completely.