> Kan man styre time out tiden på file_get_contents() ?
>
> Den handler ganske enkelt om at jeg henter en side ind fra
> en URL og henter den ind som en streng, men jeg vil gerne
> kunne håndtere det tilfælde hvor kilden ikke svarer.
Jeg ved ikke om man kan angive et timeout. Måske kan
"stream_set_timeout" bruges:
http://dk.php.net/manual/en/function.stream-set-timeout.php
Ellers vil jeg anbefale curl:
http://dk.php.net/curl
Med curl kan du sætte et timeout og en lang række andre parametre.
Et eksempel som svarer til "file_get_contents" :
$ch = curl_init('
http://www.jp.dk'); // initialize curl handle
curl_setopt($ch, CURLOPT_RETURNTRANSFER,1); // return into a variable
curl_setopt($ch, CURLOPT_TIMEOUT, 30); // times out after 30s
curl_setopt($ch, CURLOPT_HTTPGET, 1); // Get request
$contents = curl_exec($ch); // run the whole process
/thomas