<?php
$images_path = "../img/propiedades/";
$thumbs_path = $images_path . "/crop/";
$quality = 100;
$photo = isset($_POST["filename"]) ? $_POST["filename"] : false; 
$top = isset($_POST["top"]) ? $_POST["top"] : false;
$left = isset($_POST["left"]) ? $_POST["left"] : false;
$width = isset($_POST["width"]) ? $_POST["width"] : false;
$height = isset($_POST["height"]) ? $_POST["height"] : false;
$max_width = isset($_POST["max_width"]) ? $_POST["max_width"] : false;
$max_height = isset($_POST["max_height"]) ? $_POST["max_height"] : false;
header("Content-type: application/json");
if(!($photo && is_numeric($top) && is_numeric($left) && is_numeric($width) && is_numeric($height) && is_numeric($max_height) && is_numeric($max_width))){
	die('{"error":"Some of the required parameters are missing."}');
}
			
if(! extension_loaded("gd")){
	die('{"error":"The GD extension is not installed on the server."}');
}
			
$source_file = $images_path . $photo;

if(!is_dir($images_path)) {
	die('{"error":"The source directory could not be found."}');
}

if(!file_exists($source_file)) {
	die('{"error":"The source image file could not be found."}');
}

if(!is_dir($thumbs_path)) {
	if(!mkdir($thumbs_path,0777,true)){
		die('{"error":"The destination directory could not be created."}');
	}
}

if(!is_writable($thumbs_path)){
	die('{"error":"The server does not have permission to write in the destination folder."}');
}

$filename = explode(".", $photo);
$extension = array_pop($filename);

$thumb = $photo;

$target_file = $thumbs_path . $thumb;

$info = getimagesize($source_file);

if(!$info){
	die('{"error":"The file type is not supported."}');
}

switch($info[2]) {
	case IMAGETYPE_GIF:
		if(!$source_image = imagecreatefromgif($source_file)){
			die('{"error":"Could not open GIF file."}');
		}
		break;
	case IMAGETYPE_PNG:
		if(!$source_image = imagecreatefrompng($source_file)){
			die('{"error":"Could not open PNG file."}');
		}
		break;
	case IMAGETYPE_JPEG:
		if(!$source_image = imagecreatefromjpeg($source_file)){
			die('{"error":"Could not open JPG file."}');
		}
		break;
	default:
		die('{"error":"The file type is not supported."}');
		break;
}

if($width > $height) {
	$dest_width = $max_width;
	$dest_height = round($max_width*$height/$width);
} else {
	$dest_width = round($max_height*$width/$height);
	$dest_height = $max_height;
}

if(!$dest_image = imagecreatetruecolor($dest_width, $dest_height)){
	die('{"error":"Could not create new image from source file."}');
}

if($info[2]==IMAGETYPE_GIF||$info[2]==IMAGETYPE_PNG){
	if($info[2]==IMAGETYPE_PNG){
		imageAntiAlias($dest_image,true);
	}
	imagecolortransparent($dest_image, imagecolorallocatealpha($dest_image, 0, 0, 0,127));
	imagealphablending($dest_image, false);
	imagesavealpha($dest_image, true);
}

if(!imagecopyresampled($dest_image, $source_image, 0, 0, $left, $top, $dest_width, $dest_height, max($width, $max_width), max($height, $max_height))){
	die('{"error":"Could not crop the image with the provided coordinates."}');
}

switch($info[2]) {
	case IMAGETYPE_GIF:
		if(!imagegif($dest_image, $target_file)){
			die('{"error":"Could not save GIF file."}');
		}
		break;
	case IMAGETYPE_PNG:
		if(!imagepng($dest_image, $target_file, max(9 - floor($quality/10),0))){
			die('{"error":"Could not save PNG file."}');
		}
		break;
	case IMAGETYPE_JPEG:
		if(!imagejpeg($dest_image, $target_file, $quality)){
			die('{"error":"Could not save JPG file."}');
		}
		break;
}
imagedestroy($dest_image);
imagedestroy($source_image);
//If we made it that far with no error, we can return a success message, with the thumb filename
die('{"success":"'.$thumb.'"}');
?>