chiark / gitweb /
core: fix detection of dead processes