Bonjour
Il me faudrait un script permettant de recuperer les timestamp d´un serveur distant.
Je dois limiter le nombres de librairies a utiliser, sachant que j´ai curl.
Pourle moment je pesnais faire une requete vers le serveur distant, analyser le header http de retour, en regardant la date. Mais je galere a faire ca avec curl.
Si qqun a une idee, je suis preneur .....

pourquoi utiliser curl ?
pourquoi ne pas juste faire une requete http et ton serveur web te renverrais l´heure...

Ou mieux, il y a des outils faire pour comme le démon date.

Note que le résultat que tu obtiendras ne sera précis qu´a la latence du lien réseau près. (ce qui pose souvent probleme lorsque l´on utilise des makefiles over NFS)

Ben je dois recuperer la reponse sous PHP, sachant que je ne peux pas ajouter de code sur le serveur distant.

Sinon, pour les proble,es de latence, c´est pas trop grave, la marge de manoeuvre est en minutes.

Ah d´accord.
Il suffit parser la ligne Date de la réponse du serveur.

Et mno probleme est la : comment trouver la reponse de mon serveur ?

tu ouvre un socket que tu connecte au serveur. Tu lui parles sur le port 80 et tu lui demandes / en lui parlant en HTTP. Tu pourra alors lire sa réponse sur le socket.

http://www.commentcamarche.net/internet/http.php3 décrit le protocole HTTP.

C´est bon, j´y suis parvenu.
J´ai utilisé quand meme curl, qui m´a permis sous php de recuperer le header de la requete http.

function get_header($url){
$ch = curl_init(); // initialize curl handle
curl_setopt($ch, CURLOPT_URL, $url);
curl_setopt($ch, CURLOPT_HEADER, true);
curl_setopt($ch, CURLOPT_RETURNTRANSFER, true);
$result = curl_exec($ch); // run the whole process
curl_close($ch);
return $result;
}

function find_date($s){
$st = strpos($s,"Date") + 5;
$date = substr($s,$st);
$end = strpos($date,"\n") - 1;
$date = substr($date,0,$end);
return strtotime($date);
}