equal
deleted
inserted
replaced
72 # cache result of execution for (rql expr / eids), |
72 # cache result of execution for (rql expr / eids), |
73 # should be emptied on commit/rollback of the server session / web |
73 # should be emptied on commit/rollback of the server session / web |
74 # connection |
74 # connection |
75 self.local_perm_cache = {} |
75 self.local_perm_cache = {} |
76 self._ = unicode |
76 self._ = unicode |
|
77 |
|
78 def get_option_value(self, option, foreid=None): |
|
79 raise NotImplementedError |
77 |
80 |
78 def property_value(self, key): |
81 def property_value(self, key): |
79 """return value of the property with the given key, giving priority to |
82 """return value of the property with the given key, giving priority to |
80 user specific value if any, else using site value |
83 user specific value if any, else using site value |
81 """ |
84 """ |