Why does util.timer does not expose interrupt

[Paulo Levi]

Would be really helpful for those tasks that are "paused" purposefully or not.