diff -r 5684dd6667e6 -r be55746da9d1 DebugClients/Python/DebugBase.py
--- a/DebugClients/Python/DebugBase.py Tue Oct 25 21:45:20 2016 +0200
+++ b/DebugClients/Python/DebugBase.py Tue Oct 25 22:50:59 2016 +0200
@@ -103,6 +103,11 @@
# background task to periodicaly check for client interactions
self.eventPollFlag = False
self.timer = _thread.start_new_thread(self.__eventPollTimer, ())
+
+ # provide a hook to perform a hard breakpoint
+ # Use it like this:
+ # if hasattr(sys, 'breakpoint): sys.breakpoint()
+ sys.breakpoint = self.set_trace
def __eventPollTimer(self):
"""
