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