diff options
| author | Kevin Van Brunt <kmvanbrunt@gmail.com> | 2019-03-21 01:22:40 -0400 |
|---|---|---|
| committer | Kevin Van Brunt <kmvanbrunt@gmail.com> | 2019-03-21 01:22:40 -0400 |
| commit | 179a64553fc42f15e55877896b91a8a6d9944380 (patch) | |
| tree | e2e6ca77803e45e681adfb7991c6b39372d3dfa2 /cmd2/utils.py | |
| parent | e68087850496e3769b98ba84775037da28f670ac (diff) | |
| download | cmd2-git-179a64553fc42f15e55877896b91a8a6d9944380.tar.gz | |
Ctrl-C only kills the process being piped if the current command created it
Diffstat (limited to 'cmd2/utils.py')
0 files changed, 0 insertions, 0 deletions