chiark / gitweb /
service: always unwatch PIDs before forgetting old ones