/ Forside / Teknologi / Udvikling / PHP / Nyhedsindlæg
Login
Glemt dit kodeord?
Brugernavn

Kodeord


Reklame
Top 10 brugere
PHP
#NavnPoint
rfh 3959
natmaden 3372
poul_from 3310
funbreak 2700
stone47 2230
Jin2k 1960
Angband 1743
Bjerner 1249
refi 1185
10  Interkril.. 1146
Time out
Fra : Frederik Sunne


Dato : 10-05-06 13:42

Hej,

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.

Mvh,

Frederik

 
 
Thomas (10-05-2006)
Kommentar
Fra : Thomas


Dato : 10-05-06 14:01


> 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

Søg
Reklame
Statistik
Spørgsmål : 177552
Tips : 31968
Nyheder : 719565
Indlæg : 6408847
Brugere : 218887

Månedens bedste
Årets bedste
Sidste års bedste