worker processes: new processes would be spawned while the pool is being
shut down.  Patch by Charles-François Natali.