DebugClients/Python/DebugBase.py

changeset 5757
9a4e28d0b3c4
parent 5717
b7dd23b4e728
child 5761
f9e1e4e50b33
equal deleted inserted replaced
5755:83fe98028532 5757:9a4e28d0b3c4
794 @keyparam unhandled flag indicating an uncaught exception 794 @keyparam unhandled flag indicating an uncaught exception
795 @type bool 795 @type bool
796 """ 796 """
797 exctype, excval, exctb = excinfo 797 exctype, excval, exctb = excinfo
798 798
799 if exctype in [GeneratorExit, StopIteration, SystemExit]: 799 if ((exctype in [GeneratorExit, StopIteration] and
800 unhandled == False) or
801 exctype == SystemExit):
800 # ignore these 802 # ignore these
801 return 803 return
802 804
803 if exctype in [SyntaxError, IndentationError]: 805 if exctype in [SyntaxError, IndentationError]:
804 try: 806 try:

eric ide

mercurial