server/session.py
changeset 8535 268b6349baf3
parent 8525 c09feae04094
parent 8529 1daea1f433c9
child 8538 00597256de18
--- a/server/session.py	Fri Aug 03 13:29:37 2012 +0200
+++ b/server/session.py	Fri Sep 07 14:01:59 2012 +0200
@@ -106,7 +106,8 @@
         self.free_cnxset = free_cnxset
 
     def __enter__(self):
-        pass
+        # ensure session has a cnxset
+        self.session.set_cnxset()
 
     def __exit__(self, exctype, exc, traceback):
         if exctype: