Added by Michael Hanselmann over 15 years ago
jqueue: Shutdown workerpool in case of a problem
Reviewed-by: ultrotter
View differences