Refresh ping
";
echo "Time: " . date("Y-m-d H:i:s");
echo "
";
$pingrow = file($csvfile_path);
//$revrow = array_reverse($pingrow);
foreach ($pingrow as $value)
{
list($host,$port,$countck,$desc,$newline) = explode(";" ,$value);
echo "$desc - ($host $port)
";
$result=0;
exec ("$bash_cmd $host -S -p $port -c $countck | tail -n 1 | awk -F\"=\" '/1/ {print $10}'", $result);
echo "$result[0]
";
}
} else {
echo "Token errato!";
}
?>