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"""