add more stack traces, other minor changes

[automated-distro-installer] / faiserver-revm

diff --git a/faiserver-revm b/faiserver-revm
index 6d598a6f3f084b1771e3f6fb3fa7ffa1cb7d9882..65a23d62c6c000d87a738e6edbc1c76db1601fa1 100755 (executable)
--- a/faiserver-revm
+++ b/faiserver-revm
@@ -2,10 +2,10 @@
 set -x
 
 set -eE -o pipefail
-cleanup() { :; }
-trap 'cleanup; echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
+cleanup() { :; }; _errcatch_cleanup=cleanup
 
-x="$(readlink -f "$BASH_SOURCE")"; cd ${x%/*}
+x="$(readlink -f "$BASH_SOURCE")"; source "${x%/*}/bash-trace"
+cd ${x%/*}
 
 usage() {
     cat <<EOF