Newsgroup: it.comp.www.php
Titolo: immagini sul server

Su di un server al quale ho accesso vi sono moltissime immagini gif.
Ho la necessit� di convertirle in jpg o png per usarle con fpdf.php.
Preferirei non scaricarle per trasformarle in locale per poi ripubblicarle.
Esistono funzioni php che permettono dei fare queste conversioni?
Grazie
Leonardo



ImageCreateFromGIF(), se installata e disponibile, legge le GIF. Poi con
ImageJPEG() salvi l'immagine in JPEG.
Leonardo
-- 
Though with a scornful wonder / Men see her sore oppressed,
By schisms rent asunder, / By heresies distressed;
Yet saints their watch are keeping, / Their cry goes up, "How long?"
And soon the night of weeping / Shall be the morn of song.

 ha scritto nel messaggio 
news:dg8t35hrajdiu7mp5...@4ax.com...


 la necessità di convertirle in jpg o png per usarle con fpdf.php.
Un'aggiuntina: se sono gif, convertile in png, non in jpeg, cosi` mantieni 
la qualita` e diminuisci il peso (se comprimi al massimo la png).
Bye.


Nella pagina LettoreImmagine.php ho scritto:
<?php
$image_height = 100;
$image_width = 100;
$image = imagecreatefromgif ("image.gif");
header('Content-Type: image/gif');
imagejpeg($image);
imagedestroy("image.gif");
?>
e nel browser vedo l'immagine
Non riesco per� a manipolarla, se faccio il link da un'altra pagina ad es. 
cos�
<IMG SCR="LettoreImmagine.php" />
Non riesco a vederla
Dov� che sbaglo?
Grazie
Leonardo

 <IMG SCR="LettoreImmagine.php" />
<img src="..." />
minuscolo e src, non scr. Se e` questo il problema.
Bye.

 ha scritto nel messaggio 
news:7a98n9F1...@mid.individual.net...

Grazie, stamani non ho smaltito il fine settimana
Leo


Ho notato accidentalmente una cosa che mi � sembrata strana:
Considerando solamente le gif senza animazione, cambiando l'estensione 
dell'immagine da gif a png senza fare altro le immagini vengono riprodotte 
ugualmente nel browser (almeno FF e IE).
Risulta anche  a voi?
Saluti
Leonardo

 voi?
Si`, e` normale. I browser guardano il mime type passato dal server ed 
eventualmente i magic numbers del file, non l'estensione, ecco perche` 
puoi servire immagini con estensione .php o senza estensione.
Bye.

 ha scritto nel messaggio 
news:7a9ilcF1...@mid.individual.net...

Grazie.
Tornando al discorso di prima, questo � il codice funzionante
<?php
    $image_height = 100;
    $image_width = 100;
    $image = imagecreatefromgif ("image.gif");
    $back_color = imageColorAllocate($image, 200, 200, 200);
    $draw_color = imagecolorallocate($image, 0, 0, 0);
    header('Content-Type: image/png');
    imagegif($image);
?>
che leggo da un'altra pagina con
<body>
<IMG SRC="100.php">
<?php
$Pippo = "100.php";
?>
<img src="<?php echo $Pippo; ?>" width="100" height="100">
</body>
Per la conversione in png pensavo di contuinare cos� ma mi da errore.
Dov'� che va presa la variabile con la gif per proseguire trasformandola in 
png?
Dov'� che sbaglio?
Saluti
Leonardo

     imagegif($image);
Non imagegif(), ma
imagepng($image);
Eventualmente (con PHP >= 5.1.2)
imagepng($image, null, 9);
per mettere la compressione al massimo (non perdi qualita`, solo lavora un 
po' di piu` la CPU del server)
E non ti serve definire i colori, tanto non li usi.
Bye.


Sono sempre alle prese con il problema di trasformare immagini gif in png
Ho scritto il seguente codice:
<?php
 $immagine_originale = imagecreatefromgif("ciao.gif");// leggo l'immagine 
originale
    $immagine_larghezza = imagesx($immagine_originale);// leggo le sue 
dimensioni
    $image_altezza = imagesy($immagine_originale);
$immagine_new = imagecreatetruecolor($immagine_larghezza, $image_altezza);// 
creo una nuova immagine vuota delle stesse dimensioni
// ci copio sopra l'immagine $immagine_originale che � una gif
    for ($col = 0 ; $col < $immagine_larghezza ; $col++)
    {
        for ($riga = 0 ; $riga < $image_altezza ; $riga++)
{ imagecopy($immagine_new, $immagine_originale, $immagine_larghezza - $col - 
1, $riga, $col, $riga, 1, 1);
  }}
header('Content-Type: image/png');// dico al server che � una png
imagepng($immagine_new);// la vedo a video
 imagedestroy($immagine_originale);// distruggo
    imagedestroy($immagine_new);
?>
Perch� non riesco a salvare $immagine_new sul server?
dov� che sbaglio o mi manca un parametro?
Scusate la banalit� della richiesta, ma scrivo in php solo dall'inizio 
dell'anno.
Grazie a chi vorr� aiutarmi.
Leonardo

 Perchè non riesco a salvare $immagine_new sul server?
Perche` non hai letto il manuale:
http://it.php.net/imagepng
Bye.


L'ho letto, l'ho letto solo che il mio inglese fa schifo
questa � la soluzione
imagepng($immagine_new, 'pippoMIAok.png');
Ciao
Leonardo