changeset 7240 | 6f5118b48d6a |
parent 7235 | 5a0ee8de7f06 |
parent 7239 | 078cfa8a5187 |
child 7301 | 93e96700e0c0 |
child 7506 | c8cda2aca92e |
--- a/devtools/__init__.py Wed Apr 20 16:55:52 2011 +0200 +++ b/devtools/__init__.py Thu Apr 21 18:10:49 2011 +0200 @@ -129,7 +129,7 @@ mode = 'test' read_instance_schema = False init_repository = True - + skip_db_create_and_restore = False def __init__(self, appid='data', apphome=None, log_threshold=logging.CRITICAL+10): # must be set before calling parent __init__ if apphome is None: