req.py
branchstable
changeset 8585 3f60f416dddb
parent 8309 48ef505aa9f9
child 8596 bd4f5052a532
--- a/req.py	Wed Oct 24 14:38:05 2012 +0200
+++ b/req.py	Wed Nov 14 11:06:24 2012 +0100
@@ -75,6 +75,9 @@
         self.local_perm_cache = {}
         self._ = unicode
 
+    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