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!"; } ?>