Debugger/DebugUI.py

changeset 6431
1842436770c4
parent 6416
a915f8dd1ca6
child 6645
ad476851d7e0
diff -r 9fe4016a653b -r 1842436770c4 Debugger/DebugUI.py
--- 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:

eric ide

mercurial