add fatal
This commit is contained in:
parent
1c9d0d9665
commit
9d4af5021b
@ -233,6 +233,11 @@ detect_os() {
|
|||||||
esac
|
esac
|
||||||
}
|
}
|
||||||
|
|
||||||
|
fatal() {
|
||||||
|
msg_error "$1"
|
||||||
|
kill -INT $$
|
||||||
|
}
|
||||||
|
|
||||||
### dev spinner ###
|
### dev spinner ###
|
||||||
# Trap cleanup on various signals
|
# Trap cleanup on various signals
|
||||||
trap 'cleanup_spinner' EXIT INT TERM HUP
|
trap 'cleanup_spinner' EXIT INT TERM HUP
|
||||||
|
@ -140,8 +140,7 @@ network_check() {
|
|||||||
done
|
done
|
||||||
|
|
||||||
if [[ "$DNS_FAILED" == true ]]; then
|
if [[ "$DNS_FAILED" == true ]]; then
|
||||||
msg_error "$GITHUB_STATUS"
|
fatal "$GITHUB_STATUS"
|
||||||
exit 1
|
|
||||||
else
|
else
|
||||||
msg_ok "$GITHUB_STATUS"
|
msg_ok "$GITHUB_STATUS"
|
||||||
fi
|
fi
|
||||||
|
Loading…
x
Reference in New Issue
Block a user