> > > > This might be "good enough" -- we err on the safe side, and only leaveWell, I'd prefer a test, to be sure.
> > > > some subprocesses not killed in rare situations. Does this strategy
> > > > solve the problem which started this bug report?
> >
> > You didn't answer that question, but I assume the answer is YES.
> >
> It should fix the problem, yes.
Btw, if the patch is going to be substantial, we will need legal
paperwork from you, before we can accept the code.