Hallo Beate!
Du mußt ganz schlicht und einfach einen PING-Befehl absetzen.
system("ping -c1 -w1 -q <URL>")
Dabei besteht die URL einfach aus dem Server
(ohne HTTP:// o.ä.)
wäre dazu der Befehl. Frag mich aber nicht, ob dein
Provider Systembefehle überhaupt zulässt.
Wenn der System-Befehl eine 0 zurückgibt, gibt es die
URL.
Bis dann,
Dennis