chiark / gitweb /
systemctl: check validity of PID we received