Bug fix for ThreadPool::KillWorker().