[php] Server mit PHP anpingen?

[Andre Lohan]

Tobias Kuhrmann wrote:

> Hi,
>
> ich habe gelesen das man mit PHP einen Server anpingen kann oder eine IP.
> Nun würde ich gerne wissen wie, da einige versuche schon misslungen sind.
> Wie lautet der Befehl dafür und wie wende ich ihn genau an?

ich hab mir mal mit diesem hier geholfen:

$pingx = exec("ping -c 1 $ip");
$pingtime = substr($pingx, strpos($pingx, "=")+2, strpos($pingx, "/",
strpos($pingx, "=")) - strpos($pingx, "=") -2);

ist vielleicht nicht so schön, aber das einzige worauf ich gekommen bin ;)

Gruss, André