server/session.py
branchstable
changeset 8585 3f60f416dddb
parent 8529 1daea1f433c9
child 8596 bd4f5052a532
--- a/server/session.py	Wed Oct 24 14:38:05 2012 +0200
+++ b/server/session.py	Wed Nov 14 11:06:24 2012 +0100
@@ -302,6 +302,8 @@
             self.set_tx_data()
             return self.__threaddata.txdata
 
+    def get_option_value(self, option, foreid=None):
+        return self.repo.get_option_value(option, foreid)
 
     def hijack_user(self, user):
         """return a fake request/session using specified user"""