Discussion :

[profiterolle]

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

[Maxoo]

Je ne pense pas.
Le serveur externe ne va pas te donner d'informations system sur ses fichiers.

[profiterolle]

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

[julp]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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;
}

[Nee]

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

edit: j'ai été trop lent