chiark / gitweb /
core: don't wait for non-control/non-main processes when killing processes on the...