diff options
| author | P. J. McDermott <pjm@nac.net> | 2013-07-29 21:54:16 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2013-07-29 21:54:16 (EDT) |
| commit | fb4283933ca23b47cb27b8fa51b1c1431b6df7dd (patch) | |
| tree | 9b0ead6b59888f4c8f4b1526f76f793d71155d60 | |
| parent | 218170b963ce12f42e7c74f195040761ff67dc44 (diff) | |
error(): Clean up before exiting.
| -rw-r--r-- | lib/output.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/output.sh b/lib/output.sh index 9f95809..9c0cf85 100644 --- a/lib/output.sh +++ b/lib/output.sh @@ -29,6 +29,8 @@ error() printf '%s: Error: ' "${0##*/}" >&2 printf "${fmt}\n" "${@}" + fini + exit ${status} } |