chiark / gitweb /
exit-on-idle: only exit if actually idle