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 432c53a..09f64e3 100644 (file)
--- a/timer.py
+++ b/timer.py
@@ -163,7 +163,10 @@ class Timer:
        
        def timeChanged(self, timer):
                timer.timeChanged()
        
        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)
        
 
                self.addTimerEntry(timer)