server/utils.py
branchstable
changeset 5601 92cf309672ca
parent 5424 8ecbcbff9777
child 5602 277b15d6d3ed
--- a/server/utils.py	Sat May 29 09:52:31 2010 +0000
+++ b/server/utils.py	Sat May 29 09:54:07 2010 +0000
@@ -137,6 +137,7 @@
 
     def start(self):
         self._t = Timer(self.interval, self.func)
+        self._t.setName('%s-%s[%d]' % (self._t.getName(), self.name, self.interval))
         self._t.start()
 
     def cancel(self):