chiark / gitweb /
manager: don't show PID for incoming signals if it is 0