changeset 1474:c2a498dce4b4

core (memory): fixed a double timer.cancel in Sessions
author Goffi <goffi@goffi.org>
date Tue, 18 Aug 2015 10:36:41 +0200
parents 675e0e9f1653
children 7ac073d2e7e0
files src/memory/memory.py
diffstat 1 files changed, 1 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/src/memory/memory.py	Tue Aug 18 10:35:44 2015 +0200
+++ b/src/memory/memory.py	Tue Aug 18 10:36:41 2015 +0200
@@ -123,9 +123,7 @@
         raise NotImplementedError("You need do use newSession to create a session")
 
     def __delitem__(self, session_id):
-        """ Cancel the timer, then actually delete the session data """
-        timer = self._sessions[session_id][0]
-        timer.cancel()
+        """ delete the session data """
         self._purgeSession(session_id)
 
     def keys(self):