Das deutsche QBasic- und FreeBASIC-Forum

[Jojo]

Hi,
der php-befehl "getimagesize" scheint so seine probleme zu haben, wenn eine grafikdatei eine fremde dateiendung (z.B. *.php) hat. Dadurch wird mein Skript leider unbrauchbar... Ich könnte jetzt natürlich von Hand den Dateityp prüfen (nach den Magic Bytes suchen), dann je nach bildtyp mit imagecreatefrompng / imagecreatefromgif / imagecreatefromjpg die datei laden und dann die größe des gd-bildpuffers überprüfen, aber das scheint mir viel zu aufwendig für diese kleine aufgabe...
Kennt jemand eine Lösung? Bei google hab ich bisher nur getimagesize gefunden :\

EDIT: mit imagecreatefromstring() kann ich ein paar Zeilen sparen, die Lösung gefällt mir schon besser... aber gibt's vielleicht noch was kürzeres?
_________________
» Die Mathematik wurde geschaffen, um Probleme zu lösen, die es nicht gäbe, wenn die Mathematik nicht erschaffen worden wäre.