Merge pull request #1911 from ludovic-henry/threadpool-unhandled-exception