server/session.py
changeset 9076 7743e7b29635
parent 9075 8d36838ccb3e
child 9077 55a88fbfd39c
--- a/server/session.py	Thu May 23 14:17:46 2013 +0200
+++ b/server/session.py	Wed May 15 16:09:31 2013 +0200
@@ -431,6 +431,10 @@
         # other session utility
         self.user = session.user # XXX migrate to self._set_user when
         self.lang = session.lang # Connection gain execute
+        self.execute = session.execute # temporary hack until all necessary
+                                       # function have been migrated. Most of
+                                       # those function requires an execute
+                                       # method and execute requires them too.
 
         #: connection handling mode
         self.mode = session.default_mode