dbapi.py
branchstable
changeset 6257 7eb5f1aed728
parent 6252 d33509b79efe
child 6279 42079f752a9c
child 6308 c151c730a1ac
--- a/dbapi.py	Thu Sep 16 11:27:50 2010 +0200
+++ b/dbapi.py	Thu Sep 16 11:28:25 2010 +0200
@@ -639,6 +639,11 @@
         return self._repo.get_schema()
 
     @check_not_closed
+    def get_option_value(self, option):
+        """return the value for `option` in the repository configuration."""
+        return self._repo.get_option_value(option)
+
+    @check_not_closed
     def describe(self, eid):
         return self._repo.describe(self.sessionid, eid, **self._txid())