--- 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):