chiark / gitweb /
service: make main pid guessing optional, and reread pid file after reloads