[php] Extentie controleren

[Verwijderd]

Hoi
Ik wil de extentie controleren van een bestand (of ik die moet includen of afdrukken).
Ik heb het geprobeert met
eregi("$\.html", $file)
maar dat werkt niet.
Weet iemand hoe het wel moet?
Alvast bedankt

[ACM]

Werkt gewoon:
eregi("^.*\.html", $file);
dan niet?

[Verwijderd]

ik doe het door de string van de filename/path te exploden in een array, die om te draaien, en $array[0] is dan je extensie..

maar er zijn vast betere oplossingen

[Verwijderd]

Dankje wel ACM
eregi("^.*\.html", $file);
Werkt

[Verwijderd]

ach uiteindelijk gaat het niet om hoe bij dit soort kleine dingen maar gewoon om wat je zelf het leukst/handigst vindt, als je er maar je doel mee bereikt. Het zal een miliseconde of 5 schelen, wheeee!

[Verwijderd]

Op woensdag 13 juni 2001 20:28 schreef dannydude het volgende:
ach uiteindelijk gaat het niet om hoe bij dit soort kleine dingen maar gewoon om wat je zelf het leukst/handigst vindt, als je er maar je doel mee bereikt. Het zal een miliseconde of 5 schelen, wheeee!

jep, maar erger is het als je het in een lus zet, die voor 1000 files ofzo dit moet checken Dan is het wel makkelijk de snelste methode te hebben....

[Verwijderd]

Jah, das waar, maar ik denk dat je dan gauw genoeg merkt dat er iets mis is, een delay van 5 sec

[Verwijderd]

ACM: Werkt gewoon:

code:

eregi("^.*\.html", $file);

dan niet?

Liever:

code:

eregi("\.html$", $file);

[10o]

Oke bovenstaande is als je het op extensie nivo wil doen.

Maar nu wil ik het uit de file trekken. Waarom wil ik dat omdat er iemand zo slim is geweest om een gif te renamen naar jpg en toch door mijn code heen te komen

Het is zo dat mijn forum alleen maar .jpg mag hebben (wil geen animated gifs op het forum).

Maar met eregi werkt het niet.

Wie weet hoe ik uit een file trek of het een jpg of een gif is? Als ik dat voor elkaar heb kan ik dus files filteren.

tnx

[Orphix]

Ik denk dat je het beste even kan kijken naar de GD image library die je kan gebruiken in PHP. Deze ondersteunt wel het inlezen / checken van formaten geloof ik.

http://www.php.net/manual/en/ref.image.php

[drm]

Arien:
ACM: Werkt gewoon:

code:

eregi("^.*\.html", $file);

dan niet?

Liever:

code:

eregi("\.html$", $file);

idd. Match anders maar eens een bestand "sjaak.html.gif"

Orphix:
Ik denk dat je het beste even kan kijken naar de GD image library die je kan gebruiken in PHP. Deze ondersteunt wel het inlezen / checken van formaten geloof ik.

http://www.php.net/manual/en/ref.image.php

Ik denk dat je met getimagesize ook wel een eindje moet komen.

_edit:

_{Geplaatst door Arien - woensdag 13 juni 2001}

Ik dacht al, hoe komt het dat Arien opeens weer terug is met zijn italic quotes, en ACM verkeerde tips geeft

[10o]

Fatal error: Call to undefined function: exif_imagetype()

Is niet goed

Waarschijnlijk staat die meuk niet op de server damm.

Wat nu?

[Verwijderd]

up is een bestandje met phpinfo() erin en kijk dan effe bij gd library, dan weet je et tenminste zekers

[10o]

Krijg net te horen van de peoples die onze site hosten dat het niet op de servert staat.

Is het misschien een mogelijkheid om die file te openen in een array te vrotten en dan dat array af te speuren naar gif of jpg???

[SchizoDuckie]

[topic=534955/1/100]

voila

[drm]

Op dinsdag 02 juli 2002 17:03 schreef Papa Eend het volgende:
[topic=534955/1/100]

voila

spuit elf ...

[D2k]

Op dinsdag 02 juli 2002 17:13 schreef drm het volgende:

[..]

spuit elf ...

en nog fout ook
Papa Eend: lees de volgende keer eerst ff wil je?

[SchizoDuckie]

[edit]

Ok sorry ik zeg al nix meer.

[D2k]

Op dinsdag 02 juli 2002 17:14 schreef Papa Eend het volgende:

[..]

waar slaat dat op? ik geeft toch gewon een nuttig antwoord op die jongen z'n vraag?

http://gathering.tweakers.net/forum/list_message/14301648#14301648

en nu weer ONTOPIC

[Crazy D]

Op dinsdag 02 juli 2002 16:29 schreef 10o het volgende:
Krijg net te horen van de peoples die onze site hosten dat het niet op de servert staat.

Is het misschien een mogelijkheid om die file te openen in een array te vrotten en dan dat array af te speuren naar gif of jpg???

En getimagesize?

Returns an array with 4 elements. Index 0 contains the width of the image in pixels. Index 1 contains the height. Index 2 a flag indicating the type of the image. 1 = GIF, 2 = JPG, 3 = PNG, 4 = SWF, 5 = PSD, 6 = BMP. Index 3 is a text string with the correct "height=xxx width=xxx" string that can be used directly in an IMG tag.

En

This function does not require the GD image library

Beiden trouwens uit de hellupfile. Zou dus gewoon moeten werken...

[Verwijderd]

ik gebruik altijd:
$ext = explode(".",$bestand);
$ext = $ext[count($ext)-1];

Ik weet het niet netjes, maar t werkt

[Verwijderd]

Op dinsdag 02 juli 2002 15:47 schreef 10o het volgende:
Oke bovenstaande is als je het op extensie nivo wil doen.

Maar nu wil ik het uit de file trekken. Waarom wil ik dat omdat er iemand zo slim is geweest om een gif te renamen naar jpg en toch door mijn code heen te komen

Het is zo dat mijn forum alleen maar .jpg mag hebben (wil geen animated gifs op het forum).

een jpg beweegt niet dus wat maakt het uit? je ziet dan alleen de 1ste frame van de (animated) gif

[Tim]

$ext = strrchr($bestandsnaam, '.');

doet het ook prima, je krijgt alleen de punt er ook nog bij, kan je eventueel nog weg halen:

$ext = substr( strrchr($bestandsnaam, '.'), 1);

Ook bestand tegen bestanden met meerdere extensies, maar goed, dat is dus ook afgaan op extensies

Op dinsdag 02 juli 2002 20:41 schreef UneXpeCteD het volgende:
[..]
een jpg beweegt niet dus wat maakt het uit? je ziet dan alleen de 1ste frame van de (animated) gif

IE laat vrolijk de animated gif zien hoor

[Verwijderd]

Op dinsdag 02 juli 2002 20:41 schreef Timpie het volgende:
IE laat vrolijk de animated gif zien hoor

ooh ik heb het niet zo op animated gifs