repoapi.py
changeset 9105 55738c9dc26f
parent 9101 e6d1df619949
child 9111 9c867d852067
--- a/repoapi.py	Wed Jun 26 11:41:53 2013 +0200
+++ b/repoapi.py	Wed Jun 26 14:01:07 2013 +0200
@@ -166,10 +166,9 @@
 
     def __exit__(self, exc_type, exc_val, exc_tb):
         self._open = False
-        cnxid = self._cnxid
         self._cnxid = None
         self._cnx.ctx_count -= 1
-        self._session.close_cnx(cnxid)
+        self._session.close_cnx(self._cnx)
         self._cnx = None
         if self._autoclose_session:
             # we have to call repo.close to unsure the repo properly forget the