server/session.py
changeset 8596 bd4f5052a532
parent 8579 c4673bc11053
parent 8585 3f60f416dddb
child 8626 e2ba137b2bf9
--- a/server/session.py	Fri Nov 16 11:52:06 2012 +0100
+++ b/server/session.py	Fri Nov 16 11:53:17 2012 +0100
@@ -287,6 +287,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"""