Diff

DEPENDS @ 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 (2015-11-22)
parent 5406:9903a03b7b3e
child 8454:90962ef41bf3
line wrap: on
line diff