Equivalent filemtime() pour un fichier distant

Version imprimable

07/04/2009, 16h28
profiterolle

Equivalent filemtime() pour un fichier distant

Bonjour à tous,
j'éxecute périodiquement un script php afin de mettre à jour des informations dans ma base provenant d'un suite de flux rss.
Je voudrais savoir s'il y a un moyen de récupérer la date de modification d'un des flux sans avoir à l'ouvrir puis à le parser pour récupérer la dernière date de build contenu dans le xml. (l'équivalent d'un filemtime())
Merci :)
08/04/2009, 08h58
Maxoo

Je ne pense pas.
Le serveur externe ne va pas te donner d'informations system sur ses fichiers.
10/04/2009, 11h57
profiterolle

Ok je vois
Bon bah je vais en rester à ma méthode habituelle alors XD merci de ta réponse.

En fait, si le serveur HTTP émet l'entête Last-Modified pour la ressource demandée, il est alors possible de le déterminer.

Voici une implémentation possible à l'aide de cURL :

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
function http_filemtime($url, $timeout = 10)
{
    $ret = -1;
    $ch = curl_init($url);
    curl_setopt($ch, CURLOPT_TIMEOUT, $timeout);
    curl_setopt($ch, CURLOPT_CONNECTTIMEOUT, $timeout);
    curl_setopt($ch, CURLOPT_FILETIME, TRUE);
    curl_setopt($ch, CURLOPT_NOBODY, TRUE);
    if (curl_exec($ch)) {
        $ret = curl_getinfo($ch, CURLINFO_FILETIME);
    }
    curl_close($ch);
 
    return $ret;
}

10/04/2009, 13h35
Nee

Peut-être que le serveur envoie cette information dans les en-têtes de la requete http.

edit: j'ai été trop lent :)