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