Nom du fichier à partir du header

Comment extraire le nom d'un fichier distant à partir du http header envoyé par son serveur sans utiliser get_headers()? (je suis en PHP4 inpossible de passer à PHP5)

En PHP5 avec get_headers()

Code:

---

1 2 3 4 5

$url = 'http://www.site.org/get/811612'; $array =(get_headers($url, 1)); $filename =($array['Content-Disposition']); $array = explode("\"", $filename); echo $array[1];

---

Content-Disposition est l'element du Header qui contient le nom du fichier

De tête :

• Avec cURL :
  
  Code:

  ---

  1 2 3 4 5 6 7 8 9 10 11 12

  function http_get_headers($url, $timeout = 10) { $ch = curl_init($url); curl_setopt($ch, CURLOPT_TIMEOUT, $timeout); curl_setopt($ch, CURLOPT_CONNECTTIMEOUT, $timeout); curl_setopt($ch, CURLOPT_NOBODY, TRUE); curl_setopt($ch, CURLOPT_HEADER, TRUE); $ret = curl_exec($ch); curl_close($ch);   return $ret; }

  ---

• Avec fopen/file_get_contents :
  
  Code:

  ---

  1 2 3 4 5

  $fp = fopen($url, 'r'); // Envoyer une simple requête HEAD serait suffisant $headers = stream_get_meta_data($fp); fclose($fp);   print_r($headers);

  ---

• Vous envoyez une requête HEAD avec fsockopen