Compare commits
No commits in common. "0c68aba8101a53afea4a9c4d84e6640e4b50ce9d" and "3c1f478251e7096b12cdfb3a5e6de76f27aeea62" have entirely different histories.
0c68aba810
...
3c1f478251
@ -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
|
||||
|
@ -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
|
||||
|
Loading…
x
Reference in New Issue
Block a user