Compare commits

..

No commits in common. "0c68aba8101a53afea4a9c4d84e6640e4b50ce9d" and "3c1f478251e7096b12cdfb3a5e6de76f27aeea62" have entirely different histories.

2 changed files with 2 additions and 6 deletions

View File

@ -233,11 +233,6 @@ detect_os() {
esac
}
fatal() {
msg_error "$1"
kill -INT $$
}
### dev spinner ###
# Trap cleanup on various signals
trap 'cleanup_spinner' EXIT INT TERM HUP

View File

@ -140,7 +140,8 @@ network_check() {
done
if [[ "$DNS_FAILED" == true ]]; then
fatal "$GITHUB_STATUS"
msg_error "$GITHUB_STATUS"
exit 1
else
msg_ok "$GITHUB_STATUS"
fi