[php] ping in PHP???

[Roland Spielhofer]

Hallo!
Gibt es einen Ping-Befehl in PHP?
Meine Suche danach war bis jetzt erfolglos....
oder muß ich dazu exce() oder system() verwenden.
nur was mach ich dann mit dem Rückgabewert(en??)?
Mir würde es reichen, nur zu wissen, ob der Rechner aufs Ping 
reagiert oder nicht.
Möchte damit das "Existieren" von mehreren Rechnern komfortabel 
angezeigt bekommen...

Danke & Grüße
Roland Spielhofer