chiark / gitweb /
fix pidfile handling