devtools/devctl.py
changeset 10474 1dcc52f5e340
parent 10413 22a89d0f4143
child 10589 7c23b7de2b8d
--- a/devtools/devctl.py	Fri Jun 26 13:04:25 2015 +0200
+++ b/devtools/devctl.py	Thu Jun 25 22:12:49 2015 +0200
@@ -73,7 +73,7 @@
         return None
     def init_log(self):
         pass
-    def load_configuration(self):
+    def load_configuration(self, **kw):
         pass
     def default_log_file(self):
         return None