Nom du fichier à partir du header

[hach22]

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 PHP :

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

[julp]

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