devtools/devctl.py
changeset 10474 1dcc52f5e340
parent 10413 22a89d0f4143
child 10589 7c23b7de2b8d
equal deleted inserted replaced
10473:23a2fa8cb725 10474:1dcc52f5e340
    71 
    71 
    72     def main_config_file(self):
    72     def main_config_file(self):
    73         return None
    73         return None
    74     def init_log(self):
    74     def init_log(self):
    75         pass
    75         pass
    76     def load_configuration(self):
    76     def load_configuration(self, **kw):
    77         pass
    77         pass
    78     def default_log_file(self):
    78     def default_log_file(self):
    79         return None
    79         return None
    80     def default_stats_file(self):
    80     def default_stats_file(self):
    81         return None
    81         return None