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