[php] ping in PHP???

[Roland Spielhofer]

On 17 Aug 00, at 14:05, Andreas Teichrib wrote:
> 
> ich wüsste zwar nicht ob, dass es extra einen ping befehl unter php
> gibt, aber meinst du nicht, es wäre etwas unpraktisch das mit php zu
> machen? zb wenn mehrere pcs nicht erreichbar sind, und du einen timeout
> von 10sek oder so pro pc hast, könntest du doch ewig warten!!

hm. ich dachte da an ein shell-skript - also php nicht als apache-
modul . und ich programmier lieber php als die bash :)
R. Spielhofer