1
0
Fork 0

ignore died process on delete

This commit is contained in:
Frank Celler 2015-07-24 09:30:26 +00:00
parent 8052ccf4c4
commit 33d702c190
1 changed files with 2 additions and 1 deletions

View File

@ -131,7 +131,8 @@ Thread::~Thread () {
if (! _joined) {
int res = TRI_DetachThread(&_thread);
if (res != TRI_ERROR_NO_ERROR) {
// ignore threads that already died
if (res != 0 && res != ESRCH) {
errno = res;
TRI_set_errno(TRI_ERROR_SYS_ERROR);