server/session.py
changeset 10355 60b8204fcca3
parent 10352 bab2befaac9b
child 10359 8e4ba1028f55
--- a/server/session.py	Tue Jun 10 16:01:49 2014 +0200
+++ b/server/session.py	Fri Jun 13 15:42:04 2014 +0200
@@ -527,26 +527,20 @@
         else:
             self._set_user(session.user)
 
-    # session bw compat
-
-    @property
-    def _session(self):
-        return self.session
-
     @_open_only
     def source_defs(self):
         """Return the definition of sources used by the repository."""
-        return self._session.repo.source_defs()
+        return self.session.repo.source_defs()
 
     @_open_only
     def get_schema(self):
         """Return the schema currently used by the repository."""
-        return self._session.repo.source_defs()
+        return self.session.repo.source_defs()
 
     @_open_only
     def get_option_value(self, option):
         """Return the value for `option` in the configuration."""
-        return self._session.repo.get_option_value(option)
+        return self.session.repo.get_option_value(option)
 
     # transaction api