# HG changeset patch # User Sylvain Thénault # Date 1357854670 -3600 # Node ID e8afecc3b5769fa2cb3ce9aead6c203f16882219 # Parent 150bbb06616785069681b64e6a33b9f6695f9c61 [repository sources] copy source configuration: source's __init__ modify it while config.sources() return a cached dictionary which shouldn't be modified This causes pb since f8aa87a773b2 (though it's unclear why it hasn't been a problem before). Closes #2521848 diff -r 150bbb066167 -r e8afecc3b576 server/repository.py --- a/server/repository.py Thu Jan 10 22:50:34 2013 +0100 +++ b/server/repository.py Thu Jan 10 22:51:10 2013 +0100 @@ -186,7 +186,7 @@ self.shutting_down = False # sources (additional sources info in the system database) self.system_source = self.get_source('native', 'system', - config.sources()['system']) + config.sources()['system'].copy()) self.sources = [self.system_source] self.sources_by_uri = {'system': self.system_source} # querier helper, need to be created after sources initialization