branch | 3.25 |
changeset 12145 | 752b94ed9748 |
parent 12016 | 88ed82a25f8a |
child 12146 | d540defa0591 |
--- a/cubicweb/server/serverctl.py Wed Apr 05 14:31:44 2017 +0200 +++ b/cubicweb/server/serverctl.py Tue Apr 04 17:43:56 2017 +0200 @@ -1063,7 +1063,7 @@ else: sources.append(source) else: - for uri, source in list(repo.sources_by_uri.items()): + for uri, source in repo.sources_by_uri.items(): if (uri != 'system' and repo.config.source_enabled(source) and source.config['synchronize']):