chiark / gitweb /
event: properly disarm timers when we don't need them anymore