function redimensionar_jpeg($img_original, $img_nueva, $altura) {
$datos = getimagesize($img_original);
$ratio = ($datos[1] / $altura);
$anchura = round($datos[0] / $ratio);
$cmd = '/usr/local/bin/convert -thumbnail ' . $anchura . 'x' . $altura . ' "' . $img_original . '" "' . $img_nueva . '"';
exec($cmd);
}
