comparison src/memory/memory.py @ 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 c7fd121a6180
children fbe86b5d156f
comparison
equal deleted inserted replaced
1473:675e0e9f1653 1474:c2a498dce4b4
121 121
122 def __setitem__(self, key, value): 122 def __setitem__(self, key, value):
123 raise NotImplementedError("You need do use newSession to create a session") 123 raise NotImplementedError("You need do use newSession to create a session")
124 124
125 def __delitem__(self, session_id): 125 def __delitem__(self, session_id):
126 """ Cancel the timer, then actually delete the session data """ 126 """ delete the session data """
127 timer = self._sessions[session_id][0]
128 timer.cancel()
129 self._purgeSession(session_id) 127 self._purgeSession(session_id)
130 128
131 def keys(self): 129 def keys(self):
132 return self._sessions.keys() 130 return self._sessions.keys()
133 131