Debugger/DebugUI.py

branch
jsonrpc
changeset 5130
27fe451262bf
parent 5124
1ba8ee313b57
child 5136
b1dde2dc14bd
--- a/Debugger/DebugUI.py	Fri Sep 02 19:50:20 2016 +0200
+++ b/Debugger/DebugUI.py	Fri Sep 02 19:08:02 2016 +0200
@@ -1079,7 +1079,7 @@
         """
         self.ui.raise_()
         QApplication.processEvents()
-        if exceptionType is None:
+        if not exceptionType:
             E5MessageBox.critical(
                 self.ui, Program,
                 self.tr('An unhandled exception occured.'

eric ide

mercurial