devtools/__init__.py
changeset 7240 6f5118b48d6a
parent 7235 5a0ee8de7f06
parent 7239 078cfa8a5187
child 7301 93e96700e0c0
child 7506 c8cda2aca92e
equal deleted inserted replaced
7238:576abb8c4626 7240:6f5118b48d6a
   127 
   127 
   128 class TestServerConfiguration(ServerConfiguration):
   128 class TestServerConfiguration(ServerConfiguration):
   129     mode = 'test'
   129     mode = 'test'
   130     read_instance_schema = False
   130     read_instance_schema = False
   131     init_repository = True
   131     init_repository = True
   132 
   132     skip_db_create_and_restore = False
   133     def __init__(self, appid='data', apphome=None, log_threshold=logging.CRITICAL+10):
   133     def __init__(self, appid='data', apphome=None, log_threshold=logging.CRITICAL+10):
   134         # must be set before calling parent __init__
   134         # must be set before calling parent __init__
   135         if apphome is None:
   135         if apphome is None:
   136             if exists(appid):
   136             if exists(appid):
   137                 apphome = abspath(appid)
   137                 apphome = abspath(appid)