diff -r d3016c08b4ae -r a2a0bc984863 server/serverconfig.py
--- a/server/serverconfig.py	Wed Jan 22 12:14:56 2014 +0100
+++ b/server/serverconfig.py	Tue Jul 02 17:07:34 2013 +0200
@@ -297,13 +297,16 @@
     # configuration file (#16102)
     @cached
     def read_sources_file(self):
+        """return a dictionary of values found in the sources file"""
         return read_config(self.sources_file(), raise_if_unreadable=True)
 
-    def sources(self):
-        """return a dictionnaries containing sources definitions indexed by
-        sources'uri
-        """
-        return self.read_sources_file()
+    @property
+    def system_source_config(self):
+        return self.read_sources_file()['system']
+
+    @property
+    def default_admin_config(self):
+        return self.read_sources_file()['admin']
 
     def source_enabled(self, source):
         if self.sources_mode is not None: