From 8bd62c4086556c08908ba18292b47509e56d4d61 Mon Sep 17 00:00:00 2001
From: Stefan Pluecken <stefan.pluecken@multimedia-labs.de>
Date: Mon, 28 Nov 2005 03:31:19 +0000
Subject: [PATCH] sorry, i REALLY don't know, how to fix it other than using a
 try/except block

---
 RecordTimer.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/RecordTimer.py b/RecordTimer.py
index 62fa6370..18cc64ab 100644
--- a/RecordTimer.py
+++ b/RecordTimer.py
@@ -177,7 +177,10 @@ class RecordTimer(timer.Timer):
 		print "in processed: ", entry in self.processed_timers
 		print "in running: ", entry in self.timer_list
 		# 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