diff options
author | bill-auger <mr.j.spam.me@gmail.com> | 2022-08-16 07:17:00 -0400 |
---|---|---|
committer | bill-auger <mr.j.spam.me@gmail.com> | 2022-08-17 06:37:01 -0400 |
commit | dde5b35ad39afb88466ae56809bdbdba79b3a722 (patch) | |
tree | 277e56c4e671b3e4e6e7dfadb2e0d72f17419cdb | |
parent | 03f73ce81a566d312ad78dca1ea9938f17110477 (diff) |
ensure that Cleanup() is always called
-rwxr-xr-x | install.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -639,8 +639,8 @@ Cleanup() ## error logging ## set -o errexit -o errtrace -trap 'trap - ERR ; LogError() { : ; } ; Cleanup ;' EXIT INT TERM -trap 'trap - EXIT INT TERM ; LogError "${FUNCNAME[0]}" ${LINENO} ;' ERR +trap 'trap - ERR ; LogError() { : ; } ; Cleanup ;' EXIT INT TERM +trap 'trap - EXIT INT TERM ; LogError "${FUNCNAME[0]}" ${LINENO} ; Cleanup ;' ERR ## main entry ## |