Diff

COPYING @ 6931:5c2c8aeb4690

util.timer: Expire timer instance if another instance is already set to take care of the next scheduled event
author Kim Alvefur <zash@zash.se>
date Sun, 22 Nov 2015 17:20:20 +0100
parent 4304:73bf8aab8b77
child 12353:5ace23519e71
line wrap: on
line diff