<?php
////////// CONFIGURATION /////////////////
$ips_array=array("PC_1_NAME:172.19.144.10","PC_2_NAME:172.19.144.11","PC_3_NAME:172.19.144.10");
function ping($PC,$ip){
$cmd=shell_exec("ping -c 1 -w 200 $ip");
$dati_mount=explode(",",$cmd);
if (eregi ("0", $dati_mount[1], $out)) {$connesso="<img src=\"off.gif\">";}
if (eregi ("1", $dati_mount[1], $out)) {$connesso="<img src=\"on.gif\">";}
$esito="$connesso [$ip] <b>$PC</b><br>";
return $esito;
}
while(list($k,$v)=each($ips_array)){
$dati_ip=explode(":",$v);
$esito=ping($dati_ip[0],$dati_ip[1]);
echo $esito;
}
preferences:
31.7 ms | 402 KiB | 5 Q