chiark / gitweb /
server: don't report wstat for processes killed by the server