|
@@ -42,7 +42,7 @@ read -r id ip < /tmp/"$FAMILY"
|
|
|
printf "%d" "$id" > /dev/null 2>&1 || exit
|
|
|
|
|
|
# Parsing ping output, for Linux
|
|
|
-output="$($PING -c "$NB_PINGS" "$ip" | grep -A1 "packets transmitted")"
|
|
|
+output="$($PING -c "$NB_PINGS" -- "$ip" | grep -A1 "packets transmitted")"
|
|
|
echo $output | sed -e 's#^\([0-9]*\) packets transmitted, \([0-9]*\) received.*#\1\t\2#' > /tmp/"$FAMILY"_tmp1
|
|
|
read sent received < /tmp/"$FAMILY"_tmp1
|
|
|
if [ "$received" -eq 0 ]
|