On 7 November 2012 21:46, Mark H Weaver <[email protected]> wrote: > Here's an improved version the patch that gracefully handles the case > where creation of the worker pool is unsuccessful due to an exception or > cancelled thread. > > What do you think?
Looks clean. Nice work picking up on this race condition.
