Hämta filstorlek från externa sidor?

En fuling är att hämta hela filen med file_get_contents(), och sedan ta en strlen() på den.

<?php
echo strlen(file_get_contents("http://sida.com"));

Annars skickar vissa webservers med filstorleken i headers, men det verkar vara sällsynt på dynamiska sidor (som .php-dokument) - oftast skickas den headern bara vid statiska sidor (som .html-dokument). Den lösningen kan du fixa med get_headers(), den är i mitt tycke lite snyggare - men första lösningen är nog mer "universell", och fungerar på alla dokument.

Hmm, ok... så det räcker att endast skriva "strlen(file_get_contents("direktlänk"))" ?

EDIT: En annan fråga... hur löser jag så att jag endast visar storleken om det direktlänkas till en fil (zip, rar, exe), inte annars?

Just nu har jag följande:

$filnamn = htmlspecialchars($row['direktadress']); 

$adress = strlen(file_get_contents($filnamn));

  // de tillåtna fil-typerna
  $filetypes = 'exe,rar,zip';
  
  // hämta filtypen
  $types = explode(',',$filetypes);
  $file = explode('.',$filnamn);
  $extension = $file[sizeof($file)-1];

  // kolla filtypen
  if(!in_array($extension,$types)){

$filtyp = ""; 
$storlek = "?";
} else { 

$filtyp = "( .$extension )"; 
$storlek = round($adress/1024);
}

..och det verkar fungera, MEN det tar en stund innan sidan laddas. :(
Går det att skynda på det hela lite?

Det tar tid för att hela filen måste hämtas hem innan storleken kan kollas.