diff options
author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-04-14 15:28:25 (EDT) |
---|---|---|
committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-04-14 15:28:25 (EDT) |
commit | c6827c8ce741308f4575243e95c0f5f5a95d5511 (patch) | |
tree | f01ba4dac4042470f48d659416b58ffd763c312f /src/output.sh | |
parent | 37010dc36e1115d8bd65c8d52097d84e05d26588 (diff) |
error(): Kill whole process group
Diffstat (limited to 'src/output.sh')
-rw-r--r-- | src/output.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/output.sh b/src/output.sh index 94cc32a..17f52ba 100644 --- a/src/output.sh +++ b/src/output.sh @@ -32,7 +32,7 @@ error() # In a subshell, this will have no effect, so the shell's exit status # will be 128+SIGINT. Meh. exit_status=${status} - kill -s INT ${$} + kill -s INT 0 } warn() |