timer removal SHOULD (!!!!!!!!!!!!!!!!!!!!!!!!!!!) work now...

diff --git a/RecordTimer.py b/RecordTimer.py
index c3b948d24f6e5237510863f2b5f2d004f4f54cfe..e26bda6078e2136ada32856017e55ff82ae571c5 100644 (file)
--- a/RecordTimer.py
+++ b/RecordTimer.py
@@ -142,10 +142,12 @@ class RecordTimer(timer.Timer):
                file.close()
        
        def record(self, entry):
                file.close()
        
        def record(self, entry):

+               print "[Timer] Record " + str(entry)

                entry.Timer = self
                self.addTimerEntry(entry)
 
        def removeEntry(self, entry):
                entry.Timer = self
                self.addTimerEntry(entry)
 
        def removeEntry(self, entry):

+               print "[Timer] Remove " + str(entry)

                if entry.state == timer.TimerEntry.StateRunning:
                        entry.end = time.time()
                        self.timeChanged(entry)
                if entry.state == timer.TimerEntry.StateRunning:
                        entry.end = time.time()
                        self.timeChanged(entry)


@@ -158,7 +160,10 @@ class RecordTimer(timer.Timer):
                        print "timer did already end - doing nothing."
                
                # now the timer should be in the processed_timers list. remove it from there.
                        print "timer did already end - doing nothing."
                
                # now the timer should be in the processed_timers list. remove it from there.

-               self.processed_timers.remove(entry)
+               try:
+                       self.processed_timers.remove(entry)
+               except:
+                       pass

 
        def shutdown(self):
                self.saveTimer()
 
        def shutdown(self):
                self.saveTimer()