Compare commits

..

No commits in common. "3d5467f0e5f4addbd77a8e8fb116e70280a2d0e7" and "3453421ff76758bdaad8cb68b2624c46092c3097" have entirely different histories.

View File

@ -132,10 +132,10 @@ network_check() {
for HOST in "${GITHUB_HOSTS[@]}"; do
RESOLVEDIP=$(getent hosts "$HOST" | awk '{ print $1 }' | grep -E '(^([0-9]{1,3}\.){3}[0-9]{1,3}$)|(^[a-fA-F0-9:]+$)' | head -n1)
if [[ -z "$RESOLVEDIP" ]]; then
GITHUB_STATUS+="{$CROSS} $HOST"
GITHUB_STATUS+=" $HOST"
DNS_FAILED=true
else
GITHUB_STATUS+="{$CM} $HOST"
GITHUB_STATUS+=" $HOST"
fi
done