Hola GatorV, gracias por tu rapida respuesta.
Creo que ya lo he solucionado, lo he probado con varias imagenes y funciona. Lo que he hecho ha sido cambiar la calidad de salida (antes estaba en 100), ahora lo he dejado en 95:
Código PHP:
// Se entrega al buffer de salida (navegador en este caso) la imagen en formato JPEG
// El tercer parámetro (95) indica la calidad de la imagen: en porcentaje relación calidad/peso imagen.
imagejpeg($dst_img,'',95);
Por lo que la imagen de salida, ahora ocupa menos que el tamaño impuesto por la original, incluso si se imprime en la misma resolucion. Lo que no entiendo, es que si poner 100 significa 100% (misma calidad que la imagen original), como es que la imagen resultante de menor resolucion, pudiera ocupar bastante más que la original, por lo que no se llegaba a imprimir entera.
Saludos