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 | |
| parent | 37010dc36e1115d8bd65c8d52097d84e05d26588 (diff) | |
error(): Kill whole process group
| -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() |