devtools/devctl.py
changeset 10308 3f94034cc972
parent 10301 729f36a1bcfa
child 10413 22a89d0f4143
--- a/devtools/devctl.py	Mon Feb 23 09:02:41 2015 +0100
+++ b/devtools/devctl.py	Wed Apr 22 11:00:50 2015 +0200
@@ -77,6 +77,8 @@
         pass
     def default_log_file(self):
         return None
+    def default_stats_file(self):
+        return None
 
 
 def cleanup_sys_modules(config):