diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-10-07 20:30:51 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-10-07 20:30:51 (EDT) |
| commit | d7325b15a0949cef77707be5fd0bf864d6338c57 (patch) | |
| tree | f10d1191c1a05056bef57b2569bd096fdd973d7d /lib/output.sh | |
| parent | d8c058f9e333ae7d99030c64f9c19c47b3a35085 (diff) | |
| parent | 6ca3ac8f4d34f2f0348d64178dc0b3e8ccd7aa7f (diff) | |
Merge branch 'feature/sessions'
Diffstat (limited to 'lib/output.sh')
| -rw-r--r-- | lib/output.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/output.sh b/lib/output.sh index ffe982d..877c7fc 100644 --- a/lib/output.sh +++ b/lib/output.sh @@ -30,7 +30,10 @@ error() printf '%s: Error: ' "${0##*/}" >&2 printf "${fmt}\n" "${@}" >&2 - exit ${status} + # 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 ${$} } warn() |