Avoid div by zero in get_cropped() FS#1453

darcs-hash:20080727180206-0d72e-28f6206ebe4f6c36f835c50f46d9cbe220ab6177.gz

lib/exe/fetch.php

@@ -245,7 +245,8 @@ function get_cropped($file, $ext, $w, $h=0){
   global $conf;
 
   if(!$h) $h = $w;
-  $info = getimagesize($file); //get original size
+  $info = @getimagesize($file); //get original size
+  if($info == false) return $file; // that's no image - it's a spaceship!
 
   // calculate crop size
   $fr = $info[0]/$info[1];