devtools/devctl.py
changeset 5442 3ed8afbbdf70
parent 5426 0d4853a6e5ee
child 5466 b5af2ac0c43c
equal deleted inserted replaced
5438:2a9181b82806 5442:3ed8afbbdf70
    64     @property
    64     @property
    65     def apphome(self):
    65     def apphome(self):
    66         return None
    66         return None
    67     def main_config_file(self):
    67     def main_config_file(self):
    68         return None
    68         return None
    69     def init_log(self, debug=None):
    69     def init_log(self):
    70         pass
    70         pass
    71     def load_configuration(self):
    71     def load_configuration(self):
    72         pass
    72         pass
    73     def default_log_file(self):
    73     def default_log_file(self):
    74         return None
    74         return None