+manage () {
+ local when=$(date +%s) now
+ local fail=0 rc report
+
+ while :; do
+ "$@"; rc=$?
+ case $rc in
+ 0) info "manage $1: successful exit"; break ;;
+ 143) info "manage $1: terminated"; break ;;
+ esac
+ now=$(date +%s)
+ report="rc = $rc"
+ if (( $now - $when > 5 )); then
+ fail=0
+ else
+ report="$report, early failure"
+ fail=$(( $fail + 1 ))
+ if (( $fail >= 5 )); then
+ info "manage $1: exit ($report), giving up after $fail failures"
+ break
+ fi
+ fi
+ info "manage $1: exit ($report), restarting"
+ when=$now
+ done
+}
+