[PHP] Eigenartiger Bug mit imagepng()

[alcaeus]

Hallo,

ich stehe derzeit vor einem etwas eigenartigem Problem.
Ich lade mir eine gif-Datei von einem anderen Server, und speichere sie in einem lokalen Cache-Verzeichnis. Anschliessend will ich aus der gif-Datei eine PNG machen. Sobald die gif-Datei mal aufm Server liegt, wird noch folgender Code ausgefuehrt:

Code:

if ($im = imagecreatefromgif('./tex.gif'))
{
   imagepng($im, './tex.png');
}

Also nichts besonderes...ich mach das nur auf, und speichere es ab. So, jetzt kommt der interessante Teil. Unter PHP4 (4.4.2) wird alles perfekt erledigt, ohne weitere Probleme.
Unter PHP5 (5.2.0) wird aus dem gif-Bild (im Anhang #1) nur ein etwas anderes PNG (siehe Anhang #2). Ich hab schon rumgesucht, aber keine weiteren Meldungen ueber einen solchen Bug gefunden. Kennt jemand dieses Problem, oder hat ne Idee, wie man das Problem loesen koennte?

Greetz
alcaeus