server/session.py
changeset 9047 c873445fe198
parent 9033 614bf73cc126
child 9048 8481fc6aa6dd
--- a/server/session.py	Mon Jun 24 14:55:26 2013 +0200
+++ b/server/session.py	Fri Jun 21 16:07:45 2013 +0200
@@ -1225,7 +1225,8 @@
     def _clear_thread_storage(self, cnx):
         self._cnxs.pop(cnx.connectionid, None)
         try:
-            del self.__threaddata.cnx
+            if self.__threaddata.cnx is cnx:
+                del self.__threaddata.cnx
         except AttributeError:
             pass