chiark / gitweb /
service: remove pidfile after exit of a service