diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-12-08 15:48:42 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-12-08 15:48:42 -0800 |
commit | f689a0eca6f2292478c5d49c1cc3030a5654bbda (patch) | |
tree | 22d0f54e4ac982511a9f09e7b941702b7d01c8ab /tools/shared.py | |
parent | 037e8d20c096ccacbfb7d3a2d7a243bc9e11081d (diff) |
better fix for the exception testcase in #747 - set the current exception when we are resuming after an end-catch which wiped it out, but not otherwise
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions