estensione di un file

[chef]

ciao...
dovrei fare un controllo sull'estensione di un file che un utente ottiene sfogliando il suo hard disk, per accettare o meno l'upload di quel file in un server ftp.
Per esempio, l'utente con il suo tasto "browse" cerca nel suo hard disk il file ciao.doc (path: c:/documenti/ciao.doc) e lo vuole uploadare.

Se il file è .doc può fare l'upload
Se il file non è .doc non può fare l'upload.

Ho visto un pò di funzioni ma l'unica al momento è quella di usare $filename=baseline("percorso del file"), leggere le ultime 3 lettere di $filename e fare il controllo manuale su quelle...

C'è una funzione specifica per conoscere l'estensione di un file?

[gianiaz]

usa explode.

del tipo

$nomefile="index.php";
list($nome, $estensione)=explode(".",$nomefile);

la funzione sopra potrebbe creare problemi in file con più di un punto nel nome (del tipo: file.mio.doc).

ciao

[chef]

ben bene ma come faccio ad essere sicuro che in un nomefile tipo documento.mio.doc venga fuori:

$nome=documento.mio
$estensione=doc

e non
$nome=documento
$estensione=mio.doc

??

[gianiaz]

$arrayfile=explode(".",$nomefile);
$estensione=$arrayfile[count($arrayfile-1)];

cosi dovrebbe andare...


ciao

[chef]

ok ora lo provo subito.
Ho un problema però, ora ti spiego velocemente.
Nella 'pagina_1.php' ho una form in cui l'utente sceglie il file da trasferire. Una volta scelto il file (per esempio C:/immagini/ciao.gif) clicca sul submit e va sulla pagina_2.php che (con un echo, per prova) mi tira fuori il nome del file. MI aspetterei di vedere 'ciao.gif' e invece:

SORPRESA!

il nome del file non c'entra nulla con il file scelto, a video vedo il nome di un file 'php48.tmp'...

Sembra che mi faccia vedere il nome del file temporaneo... MA CHE COSA C'ENTRA?????

[ScassaBubu]

scusa gianaz...credo ci sia stato un 'errore di battitura

Originariamente inviato da gianiaz

$arrayfile=explode(".",$nomefile);
$estensione=$arrayfile[count($arrayfile-1)];

$estensione=$arrayfile[count($arrayfile)-1];

ciao

[ScassaBubu]

Originariamente inviato da chef

il nome del file non c'entra nulla con il file scelto, a video vedo il nome di un file 'php48.tmp'...

Sembra che mi faccia vedere il nome del file temporaneo... MA CHE COSA C'ENTRA?????

http://freephp.html.it/articoli/view...sp?id=66&pag=3

[gianiaz]

Originariamente inviato da ScassaBubu
scusa gianaz...credo ci sia stato un 'errore di battitura

$estensione=$arrayfile[count($arrayfile)-1];

ciao

vero , Ciao

[badaze]

Più semplicemente....

<? 
$file = pathinfo("C:\Program Files\EasyPHP\www\tests\pippoa6.file.html");
print "il file si chiama : ".$file['basename']."
";
print "l'estensione é : ".$file['extension']."
";
?>