req.py
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