https://issues.apache.org/bugzilla/show_bug.cgi?id=54716
--- Comment #3 from Nick Williams <nicho...@nicholaswilliams.net> ---
Assuming the solution is 1, the patch is simply changing this:
if (processes.size() == 0) {
wsBackgroundThread.halt();
wsBackgroundThread = null;
}
To this:
if (wsBackgroundThread != null && processes.size() == 0) {
wsBackgroundThread.halt();
wsBackgroundThread = null;
}
--
You are receiving this mail because:
You are the assignee for the bug.
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org
