From 594e93a119681f5db075e6bacf4fcad76f7ddcda Mon Sep 17 00:00:00 2001 From: Stefan Pluecken Date: Thu, 24 Nov 2005 03:44:37 +0000 Subject: [PATCH] timer removal SHOULD (!!!!!!!!!!!!!!!!!!!!!!!!!!!) work now... --- RecordTimer.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/RecordTimer.py b/RecordTimer.py index c3b948d2..e26bda60 100644 --- a/RecordTimer.py +++ b/RecordTimer.py @@ -142,10 +142,12 @@ class RecordTimer(timer.Timer): file.close() def record(self, entry): + print "[Timer] Record " + str(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) @@ -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. - self.processed_timers.remove(entry) + try: + self.processed_timers.remove(entry) + except: + pass def shutdown(self): self.saveTimer() -- 2.30.2