devtools/__init__.py
branchstable
changeset 6593 0fd8792c9c8a
parent 6585 9af22f2c0c4c
child 6594 e10468a23291
child 6729 1a423eaee782
equal deleted inserted replaced
6589:47cd31fd206b 6593:0fd8792c9c8a
   112         ))
   112         ))
   113 
   113 
   114     def __init__(self, appid, apphome=None, log_threshold=logging.CRITICAL+10):
   114     def __init__(self, appid, apphome=None, log_threshold=logging.CRITICAL+10):
   115         # must be set before calling parent __init__
   115         # must be set before calling parent __init__
   116         if apphome is None:
   116         if apphome is None:
   117             if exists(self.appid):
   117             if exists(appid):
   118                 apphome = abspath(self.appid)
   118                 apphome = abspath(appid)
   119             else: # cube test
   119             else: # cube test
   120                 apphome = abspath('..')
   120                 apphome = abspath('..')
   121         self._apphome = apphome
   121         self._apphome = apphome
   122         ServerConfiguration.__init__(self, appid)
   122         ServerConfiguration.__init__(self, appid)
   123         self.init_log(log_threshold, force=True)
   123         self.init_log(log_threshold, force=True)