# HG changeset patch # User Alexandre Fayolle # Date 1303402249 -7200 # Node ID 6f5118b48d6a2638d091f4a390f46cd292477324 # Parent 576abb8c4626707eacfd1db3992d29ae0b003513# Parent 078cfa8a5187a1c9193a3c837c4ce5810728a332 merge back stable diff -r 576abb8c4626 -r 6f5118b48d6a devtools/__init__.py --- 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: