Simplify kill of worker, resume operations on unexpected exit, #7.