Récupérez l'extension d'un fichier d'une URL [Résolu]

[kalash_jako]

Souvent, lorsque l'on tombe sur une url, on ne sait pas qu'elle est l'extension du fichier vers lequel on attérit.

Par exemple:

Code :

http://www.developpez.com

Bien souvent, il s'agit d'un fichier html ou php mais pas toujours...

Je cherche un moyen de récupérer cette extension voir le type de donnée contenu dans le fichier ciblé mais de la manière la plus RAPIDE possible.

En effet, je sais que je peux faire ca par exemple avec une fonction toute bête comme get_headers() ou autre, mais toutes les solutions que j'ai trouvés sont lentes.

Comme cette opération devra être répété de très nombreuses fois, j'aimerais si possible éviter d'ouvrir le fichier cible (la pluspart des fonctions qui auraient pu être la solution de mon problème ouvrent le fichier...)

Si vous avez une idée, ca serait vraiment simpa

[Akramweb]

bonjour, d'apres ce que j'ai compris.
tu veux recuperer l'exention des fichiers.
juste une question:
est ce que les fichiers sont recuperés apartir d'une base de données ou non.

[Dia_FR]

il veut dire que quand tu entres une URL pour accéder à un truc sur le net, il voudrait connaitre le type du fichier vers lequel redirige l'URL : .html, .php, .nawak...

mais j'en ai pas la moindre idée

[Hephaistos007]

Forges une requête avec la méthode HEAD :

Code :

1
2
HEAD / HTTP/1.0
Host: developpez.com

Et analyse le champs Content-Type de la réponse. Peut-être que ca suffira.

[kalash_jako]

Envoyé par Hephaistos007

Forges une requête avec la méthode HEAD :

Code :

Et analyse le champs Content-Type de la réponse. Peut-être que ca suffira.

Ca me dit vaguement quelque chose, mais je ne sais pas faire :'(

J'avais testé la fonction get_headers de PHP qui me donne Content-type, mais ca prend un temps fou...

Sinon, dans le pire des cas, je pense que je ferais le tout en Java...

[P@T@p!Zz@]

Tu as essayé avec les regex ?

[Hephaistos007]

Envoyé par kalash_jako

Ca me dit vaguement quelque chose, mais je ne sais pas faire :'(

Regardes du coté des librairies PHP qui permettent de "forger" des requêtes HTTP facilement et de traiter les réponses.

[kalash_jako]

Envoyé par P@T@p!Zz@

Tu as essayé avec les regex ?

Et je fais quoi avec la regex?

Pour faire une regex, il faut:

une regex (:p) et la partie à confronter à la regex.

Que veux-tu que je test dans une regex?

Envoyé par Hephaistos007

Regardes du coté des librairies PHP qui permettent de "forger" des requêtes HTTP facilement et de traiter les réponses.

Merci bien, je vais voir ca...

[MiJack]

Envoyé par kalash_jako

Sinon, dans le pire des cas, je pense que je ferais le tout en Java...

Et tu peux me dire comment tu ferais ça, même en Java ? Tu peux récupérer les Headers et donc savoir le <content-type=text/html> par exemple, mais ça ne te dira jamais si l'extension du fichier est un .php ou .html. A mon avis c'est impossible

[Hephaistos007]

Envoyé par MiJack

Et tu peux me dire comment tu ferais ça, même en Java ? Tu peux récupérer les Headers et donc savoir le <content-type=text/html> par exemple, mais ça ne te dira jamais si l'extension du fichier est un .php ou .html.

Oui ca risque d'être un problème. Le type MIME risque d'être le type des données envoyées après interpretation par le serveur donc toujours text/html.

[kalash_jako]

Envoyé par MiJack

Et tu peux me dire comment tu ferais ça, même en Java ? Tu peux récupérer les Headers et donc savoir le <content-type=text/html> par exemple, mais ça ne te dira jamais si l'extension du fichier est un .php ou .html. A mon avis c'est impossible

En Java, je peux récupérer le type MIME et c'est en fait ce que je souhaite.

En PHP, lorsque je récupère le type MIME, lorsque le fichier est énorme, la fonction met beaucoup de temps à se réaliser; en Java (j'ai testé avec un fichier de 100Mo), ca va très vite.

Je pense que je vais me contenter des réponses que vous m'avez fournis qui, au final répondent à mon problème.