diff -r 4058ed1e3bc2 -r 93e96700e0c0 server/serverconfig.py
--- a/server/serverconfig.py	Tue May 03 13:57:18 2011 +0200
+++ b/server/serverconfig.py	Tue May 03 17:43:53 2011 +0200
@@ -255,7 +255,7 @@
     # configuration file (#16102)
     @cached
     def read_sources_file(self):
-        return read_config(self.sources_file())
+        return read_config(self.sources_file(), raise_if_unreadable=True)
 
     def sources(self):
         """return a dictionnaries containing sources definitions indexed by