chiark / gitweb /
Server checks itself every hour, and logs with pid.