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 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

View File

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