fix time changed for ended timers
authorFelix Domke <tmbinc@elitedvb.net>
Fri, 17 Feb 2006 17:35:33 +0000 (17:35 +0000)
committerFelix Domke <tmbinc@elitedvb.net>
Fri, 17 Feb 2006 17:35:33 +0000 (17:35 +0000)
timer.py

index 432c53aca0424fdc1092c6c5e8c79d1d783a9555..09f64e3f8abbe9e9ca890599f20bcd0b5f017070 100644 (file)
--- a/timer.py
+++ b/timer.py
@@ -163,7 +163,10 @@ class Timer:
        
        def timeChanged(self, timer):
                timer.timeChanged()
-               self.timer_list.remove(timer)
+               if timer.state == TimerEntry.StateEnded:
+                       self.processed_timers.remove(timer)
+               else:
+                       self.timer_list.remove(timer)
 
                self.addTimerEntry(timer)