--- a/devtools/__init__.py	Mon Apr 18 08:03:46 2011 +0200
+++ b/devtools/__init__.py	Thu Apr 21 17:25:32 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: