--- a/Debugger/DebugUI.py Thu Jul 12 19:23:38 2018 +0200 +++ b/Debugger/DebugUI.py Thu Jul 12 19:26:03 2018 +0200 @@ -1198,6 +1198,7 @@ exceptionType, Utilities.html_encode(exceptionMessage))) if res == E5MessageBox.Yes: + self.debugServer.setDebugging(True) self.exceptionInterrupt.emit() stack = [] for fn, ln, func, args in stackTrace: