php ping

Hoj
Jak se dela v PHP ping? Nejlepe, abych byl nezavisly na jinych programech.
Potrebuji propingavat nekolik adres soucasne, pripadne by bylo fajn zjistit, jestli na nich bezi nejaka www aplikace. Ale pingani je priorita.

Nasel jsem nekolik zpusobu:
$host = "www.google.com";
$command = "ping -c $host";
$command2="killall -q ping";
$command = "/bin/ping -c$count -w$count $host";
$command2="killall -q ping";
$command = "/usr/bin/nmap $server";
$command2="killall -q nmap";
exec($command,$output)
server($command,$output)
passthru($command,$output)
... tez jsem tam videl nejaky imap_ping() a nekde jsem cetl neco o curl(). Tajne jsem predpokladal, ze je neco jednoducheho :)

cili napr.:
$host = "www.google.com";
$command = "ping -c $host";
$command2="killall -q ping";
exec($command,$output);
exec($command2,$output2);
print $output;

Mno, jenze to vola externi prikaz, treba ping / nmap nebo nejaky dalsi. Cili jsem zavisly na dalsim programu, ktery muze a nemusi fungovat. Ale tez se tam pise, ze je to rychle.
Idealni by bylo byt nezavisly na externich programech.
Ale mam moznost si tam ten programek nahrat, kdyby nebyla jina moznost. Jaky je nejlepsi zpusob pro PHP?

djlj
tak jako to jsem udelal. Ja jen myslel, ze by mohla byt nejaka PHP moznost, nezavisla na externich programech.

Jinak teda tam nemelo byt server() ale system(), jako jedna z moznosti, jak volat externi program. To jsem se prehlid, kdyz jsem to opisoval.