summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorP. 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)
commitfb4283933ca23b47cb27b8fa51b1c1431b6df7dd (patch)
tree9b0ead6b59888f4c8f4b1526f76f793d71155d60
parent218170b963ce12f42e7c74f195040761ff67dc44 (diff)
error(): Clean up before exiting.
-rw-r--r--lib/output.sh2
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}
}