server/session.py
changeset 8367 fc59d2380c48
parent 8306 4da49700b06a
child 8433 ff9d6d269877
--- a/server/session.py	Wed Apr 11 14:43:51 2012 +0200
+++ b/server/session.py	Wed Apr 11 14:36:19 2012 +0200
@@ -845,6 +845,12 @@
         else:
             self.data[key] = value
 
+    # server-side service call #################################################
+
+    def call_service(self, regid, async=False, **kwargs):
+        return self.repo.call_service(self.id, regid, async, **kwargs)
+
+
     # request interface #######################################################
 
     @property