mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-09-20 16:50:48 +00:00
29 lines
450 B
Bash
29 lines
450 B
Bash
#!/bin/bash
|
|
|
|
function run_with_retry()
|
|
{
|
|
set +e
|
|
|
|
local total_retries="$1"
|
|
shift
|
|
|
|
local retry=0
|
|
|
|
until [ "$retry" -ge "$total_retries" ]
|
|
do
|
|
if "$@"; then
|
|
set -e
|
|
return
|
|
else
|
|
retry=$((retry + 1))
|
|
sleep 5
|
|
fi
|
|
done
|
|
|
|
echo "Command '$*' failed after $total_retries retries, exiting"
|
|
exit 1
|
|
}
|
|
|
|
function fn_exists() {
|
|
declare -F "$1" > /dev/null;
|
|
} |