Avoir la taille d'un fichier externe

[Mo_Poly]

Bonjour,

Y'a t-il moyen, en PHP, d'avoir la taille d'un fichier externe, dont j'ai le lien.
Par exemple : www.monlien.com/fichier.pdf
Est ce que je peux avoir la taille de ce fichier en php ? (ce fichier n'existe pas sur mon serveur)


merci d'avance.


...

[Séb.]

Oui, fais un requête HTTP HEAD. Ainsi tu auras la taille du fichier sans avoir besoin de le télécharger.

[Séb.]

Avant de t'amuser avec les sockets essaient avec filesize( ), il y a peut-être un espoir car la doc dit :

Astuce

Depuis PHP 5.0.0, cette fonction peut aussi être utilisée avec quelques protocoles url. Lisez Liste des protocoles et des gestionnaires supportés pour une liste des protocoles supportant la famille de fonctionnalités de stat()

[stealth35]

Envoyé par Séb.

Avant de t'amuser avec les sockets essaient avec filesize( ), il y a peut-être un espoir car la doc dit :

Code :

1
2
http:// -- https:// — Accès aux URLs HTTP(s)
Support de la fonction stat() 	Non

http://www.php.net/manual/fr/wrappers.http.php

[Séb.]

C'est ballot, faudrait donc jouer avec une requête HTTP HEAD.
Pour ça sockets ( http://php.net/sockets ), HttpRequest ( http://php.net/http ), peut cURL ( http://php.net/curl ) aussi.

[stealth35]

Envoyé par Séb.

C'est ballot, faudrait donc jouer avec une requête HTTP HEAD.
Pour ça sockets ( http://php.net/sockets ), HttpRequest ( http://php.net/http ), peut cURL ( http://php.net/curl ) aussi.

simplement avec get_headers

Code :

1
2
3
4
5
6
7
8
9
10
$url = 'http://fr2.php.net/images/php.gif';
$headers = get_headers($url, 1);
 
if(!empty($headers['Content-Length']))
{
    $size = $headers['Content-Length'];
    var_dump($size);
}
 
//string(4) "2523"

[Séb.]

get_headers( ) fait une requête HTTP GET et non HEAD.
La dernière fois que je l'avais testé il rapatriait tout le fichier, ceci dit aujourd'hui il semble que ce ne soit plus le cas malgré le GET encore utilisé.

[stealth35]

une fois qu'il a finit d'aller chercher l’entête le stream se coupe