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