diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-07-15 10:26:28 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-07-15 10:26:28 -0700 |
| commit | 85d286d05631104de01826dcab2465b29ca3c358 (patch) | |
| tree | b24e90428b83aed8713e70517afd68fbb057a459 /tests/runner.py | |
| parent | b52b41fa588236ead80a2bffbfb88d5d8c8d225e (diff) | |
| parent | 0939e80a79bc7a68e82b9b116eee5aea860f7259 (diff) | |
Merge pull request #1357 from int3/keyboard-interrupt
Handle keyboard interrupt in child processes.
Diffstat (limited to 'tests/runner.py')
0 files changed, 0 insertions, 0 deletions