changeset 8596 | bd4f5052a532 |
parent 8595 | 01e1e44f1eb3 |
parent 8585 | 3f60f416dddb |
child 8748 | f5027f8d2478 |
--- a/req.py Fri Nov 16 11:52:06 2012 +0100 +++ b/req.py Fri Nov 16 11:53:17 2012 +0100 @@ -88,6 +88,9 @@ self._ = self.__ = gettext self.pgettext = pgettext + def get_option_value(self, option, foreid=None): + raise NotImplementedError + def property_value(self, key): """return value of the property with the given key, giving priority to user specific value if any, else using site value