Fixes [issue7245] Better Ctrl-C support in pdb.
3 files changed