diff -r 80d0eb2c413d -r f9e1e4e50b33 DebugClients/Python/DebugBase.py --- a/DebugClients/Python/DebugBase.py Mon Jun 19 17:49:39 2017 +0200 +++ b/DebugClients/Python/DebugBase.py Tue Jun 20 14:45:35 2017 +0200 @@ -797,7 +797,7 @@ exctype, excval, exctb = excinfo if ((exctype in [GeneratorExit, StopIteration] and - unhandled == False) or + unhandled is False) or exctype == SystemExit): # ignore these return