Verständnisfrage: GIF-Dateien in JPG umwandeln - möglich ?

[Didi72]

Hallo und Danke !
Der Tip von Wahsaga (an dieser Stelle nochmals vielen Dank !) war
absolut goldrichtig, d.h. mit dieser Konstallation (GIF-Datei
einlesen und als PNG-Thumb speichern) ist die Realisation auch
bei GDs über 1.6x trotz fehlender GIF-Unterstützung - diese fehlt
anscheinend nur teilweise, d.h. lesen möglich - nur schreiben nicht,
möglich. Bevor dieser Thread noch weiter "ausufert" (siehe Gunnar) -
natürlich werde ich nicht die Thumbs dynamisch bei jedem
Seitenaufruf neu erstellen, sondern direkt bei dem Upload der
Bilddatei. Da diese aber nicht von meiner Person sondern von Dritten
hochgeladen werden, wäre der "lokale" Weg nicht umsetzbar.
Natürlich hat Tom übrigens auch recht, das bei kleinen Sites mit
nicht massenhaften Zugriffen eine Thumbnail-Erstellung "on-the-fly"
durchaus Sinn machen kann - auch die Serverbelastung bleibt dabei
im Rahmen.
Für alle Interessierten will ich den Code nicht verheimlichen:
[code=php]
<?php
$dateiname = "test.gif";
$bildpfad = "";
$bildpfad_small = "test/";

$function_image_create = "ImageCreateFromGif";
   $function_image_new = "ImagePNG";

$size = getimagesize("$bildpfad"."$dateiname");
    $breite = $size[0];
    $hoehe = $size[1];

if ($breite > $hoehe)
  {
    if ($breite >= 126) $neueBreite01 = 125;
  if ($breite <= 125) $neueBreite01 = $breite;
    $neueHoehe01 = intval($hoehe*$neueBreite01/$breite);
  }
  if ($breite < $hoehe)
  {
    if ($hoehe >= 126) $neueHoehe01 = 125;
  if ($hoehe <= 125) $neueHoehe01 = $hoehe;
    $neueBreite01 = intval($breite*$neueHoehe01/$hoehe);
  }
  if ($breite == $hoehe)
  {
    if ($breite >= 126) $neueBreite01 = 125;
  if ($breite <= 125) $neueBreite01 = $breite;
    $neueHoehe01 = intval($hoehe*$neueBreite01/$breite);
  }
  $altesBild=$function_image_create("$bildpfad"."$dateiname");
    $neuesBild01=ImageCreateTrueColor($neueBreite01,$neueHoehe01);
    ImageCopyResized($neuesBild01,$altesBild,0,0,0,0,$neueBreite01, $neueHoehe01,$breite,$hoehe);
    $function_image_new($neuesBild01,"$bildpfad_small"."name_des_thumbs.png");
?>
[/code]

So, nochmals vielen Dank !

Gruss
Didi72