diff -r a6480863adfb -r a2e8f3c420ec DebugClients/Python/DebugBase.py
--- a/DebugClients/Python/DebugBase.py Sun Nov 15 13:59:43 2015 +0100
+++ b/DebugClients/Python/DebugBase.py Sun Nov 15 14:29:20 2015 +0100
@@ -235,7 +235,7 @@
return self.trace_dispatch
if event == 'c_return':
return self.trace_dispatch
- print 'DebugBase.trace_dispatch: unknown debugging event:', repr(event)
+ print 'DebugBase.trace_dispatch: unknown debugging event:', repr(event) # __IGNORE_WARNING__
return self.trace_dispatch
def dispatch_line(self, frame):
