# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1439887001 -7200
# Node ID c2a498dce4b4c491af093e83fdd7b34227b1ec14
# Parent  675e0e9f165323c5edf92c69f7793a7c38614fc5
core (memory): fixed a double timer.cancel in Sessions

diff -r 675e0e9f1653 -r c2a498dce4b4 src/memory/memory.py
--- 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):