devtools/__init__.py
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: