chiark / gitweb /
service: actually delay auto-restart if another job is pending