< ?
 
function resizeToFile ($sourcefile, $dest_x, $dest_y, $targetfile, $jpegqual){
 
/* prende la dimensione dell'immagine da ridimensionare */
 
  picsize=getimagesize("$sourcefile");
 
  $source_x = $picsize[0];
 
  $source_y = $picsize[1];
 
  $source_id = imageCreateFromJPEG("$sourcefile");
 
  $target_id=imagecreate($dest_x, $dest_y);
 
  $target_pic=imagecopyresized($target_id,$source_id,0,0,0,0,$dest_x,$dest_y,
 
  $source_x,$source_y);
 
  imagejpeg ($target_id,"$targetfile",$jpegqual);
 
  return true;
 
}
 
?>