server/serverconfig.py
changeset 7301 93e96700e0c0
parent 7129 455b503fb7ff
child 7398 26695dd703d8
--- 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