file("") -> timeout setzen?

[niccole]

hallo leute,

ich lese mit

$url_ex = "http://www.xyz.de";

$alt_pre = @file("$url_ex");

for($x=0;$x<count($alt_pre);$x++)
 {
 $alt .= $alt_pre[$x]."\n";
 }

eine externe url ein. leider ist diese manchmal nicht zu erreichen bzw. schlecht zu erreichen. gibt es die möglichkeit sowas wie einen timeout für file() zu setzen? so dass die aktion nach 30 sekunden automaticsh abbricht?

danke an alle ...

die nicole

[Tom]

Hello,

eine externe url ein. leider ist diese manchmal nicht zu erreichen bzw. schlecht zu erreichen. gibt es die möglichkeit sowas wie einen timeout für file() zu setzen? so dass die aktion nach 30 sekunden automaticsh abbricht?

ich hatte da mal was gefunden. Da konnte man dran rumfummeln, hat aber nicht funktioniert und irgend jemand hier hatte auch davon abgeraten. Es muss also schon einen Thread in 2003 geben zu dem Thema.

Liebe Grüße aus http://www.braunschweig.de

Tom

[Tom]

Hello,

ich habe da noch was wiedergefunden unter http://de.php.net/manual/de/function.socket-set-timeout.php

Um die Kontrolle zu behalten, müsstest Du die Ressource sowieso "zu Fuß" einlesen un wieder ausgeben. Wenn es funktioniert, dann psote bitte mal das Ergebnis.

Liebe Grüße aus http://www.braunschweig.de

Tom