just increase timer event endtime in processrepeated when begintime is equal
authorAndreas Monzner <andreas.monzner@multimedia-labs.de>
Wed, 13 Jun 2007 20:43:15 +0000 (20:43 +0000)
committerAndreas Monzner <andreas.monzner@multimedia-labs.de>
Wed, 13 Jun 2007 20:43:15 +0000 (20:43 +0000)
commita7df600c514e420df8a7774c6ea8aafb91569a23
tree9293c71608b2b8f60335e5d2f745cdf09d4716b9
parentfc6e31df26615c00428cd3aab32ee70d840bb9d5
just increase timer event endtime in processrepeated when begintime is equal
to endtime
timer.py