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