file_get_contents a tempo

[pax_partout]

ciao ragazzi,
ecco il mio problema.
ho vari server che si scambiano dati fra di loro con chiamate file_get_contents che leggono dati xml.
se uno dei server e' lento, sovraccarico o giu', le pagine degli altri server che chiedono dati, rimangono appesi per un po di tempo.
Ora quello che vorrei e' fare una chiamate file_get_contents a tempo, che passati tot secondi termini.
Si puo' fare? come?

ecco cosa ho fatto ma non mi funziona:
$ripristino = ini_get('max_execution_time');
set_time_limit(1); // 1 secondo
$cont = file_get_contents($url);
// gestione $cont

set_time_limit($ripristino);

Grazie anticipatamente

[filippo.toso]

Non utilizzare file_get_contents, utilizza le funzioni http://www.php.net/curl oppure http://www.php.net/fsockopen

[pax_partout]

Grazie funziona

$ch = curl_init(); // Crea la risorsa CURL
// Imposta l'URL e altre opzioni

curl_setopt($ch, CURLOPT_URL, $url);
curl_setopt($ch, CURLOPT_RETURNTRANSFER, true);
curl_setopt($ch, CURLOPT_HEADER, false);
curl_setopt($ch, CURLOPT_TIMEOUT, 2);

$cont = curl_exec($ch); // Scarica l'URL e lo passa al browser
curl_close($ch); // Chiude la risorsa curl