chiark / gitweb /
manager: push back animation timer whenever a job finishes