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