Debugger/DebugUI.py

changeset 5586
0e5421d679e7
parent 5389
9b1c800daff3
child 5590
40e18a10d837
--- a/Debugger/DebugUI.py	Tue Mar 07 18:42:41 2017 +0100
+++ b/Debugger/DebugUI.py	Tue Mar 07 18:46:09 2017 +0100
@@ -1119,10 +1119,16 @@
                     file, line = stackTrace[0][:2]
                     source, encoding = Utilities.readEncodedFile(file)
                     source = source.splitlines(True)
-                    if len(source) >= line and \
-                       "__IGNORE_EXCEPTION__" in Utilities.extractLineFlags(
-                            source[line - 1]):
-                        res = E5MessageBox.No
+                    if len(source) >= line:
+                        lineFlags = Utilities.extractLineFlags(
+                            source[line - 1].strip())
+                        try:
+                            lineFlags += Utilities.extractLineFlags(
+                                source[line].strip(), flagsLine=True)
+                        except IndexError:
+                            pass
+                        if "__IGNORE_EXCEPTION__" in lineFlags:
+                            res = E5MessageBox.No
                 except (UnicodeError, IOError):
                     pass
                 if res != E5MessageBox.No:

eric ide

mercurial