chiark / gitweb /
service: verify PID is valid when reading it from PID file