chiark / gitweb /
service: fix handling of PID file inotify events