devtools/__init__.py
changeset 10960 9e64fddebc89
parent 10907 9ae707db5265
parent 10957 2fdf67ef3341
child 11017 3dfed980071c
--- a/devtools/__init__.py	Tue Sep 08 09:05:31 2015 +0200
+++ b/devtools/__init__.py	Thu Dec 10 12:34:15 2015 +0100
@@ -405,6 +405,7 @@
         """Factory method to create a new Repository Instance"""
         config._cubes = None
         repo = config.repository()
+        config.repository = lambda x=None: repo
         # extending Repository class
         repo._has_started = False
         repo._needs_refresh = False