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: