- Home
- Categorie
- Coding e Sistemistica
- PHP
- Estensione di un file
-
Estensione di un file
Ciao ragazzi, volevo fare un controllo sull'estensione del file, come devo procedere, devo prendere l'estensione del file e confrontarla con quella che voglio, per porre fine all'esecuzione dello script.
Per esempio, se ho un .exe, smette lo script di andare avanti
Sapete aiutarmi?
-
mmm, se hai una variabile con il nome del file puoi semplicemente fare un
if (substr($nomefile, -3)=="exe") {
//operazioni
}oppure con un case, ma sempre con substr
Spero di essere stato utile
-
@Tuonorosso said:
mmm, se hai una variabile con il nome del file puoi semplicemente fare un
if (substr($nomefile, -3)=="exe") {
//operazioni
}oppure con un case, ma sempre con substr
Spero di essere stato utile
Penso sia perfetto ,cmq io lo uso per l'upload del file, ora provo , grazie tuonorosso
-
$elementi = explode($cfile,'.');
/ottieni un array diviso dal separatore punto/if ($elementi[count-1]=='exe')
fine
else
echo
$elementi[count-1];in questo caso puoi analizzare file che hanno dei punti nel nome del file es:
tymba.figo.html
e file che hanno estensione più lunga o più corta di 3 es:
tymba.sempre.più.figo.jpeg
estensione.che.non-mi-viene-in-mente.gd
-
@Tymba said:
$elementi = explode($cfile,'.');
/ottieni un array diviso dal separatore punto/if ($elementi[count-1]=='exe')
fine
else
echo
$elementi[count-1];in questo caso puoi analizzare file che hanno dei punti nel nome del file es:
tymba.figo.html
e file che hanno estensione più lunga o più corta di 3 es:
tymba.sempre.più.figo.jpeg
estensione.che.non-mi-viene-in-mente.gd
Semmai albertino.più.figo.jpeg
e albertino.il.più.figo.del.mondo.jpeggrazie
-
visto che si tratta di file uploadati puoi usare direttamente
$_FILES["tuofile"]["type"]
questo valore dovrebbe contenere il tipo di file (ad esempio se uploadi un JPG conterrà il valore JPG/JPEG)
-
Quindi facendo così mi basterebbe una if .
grazie ancora a tutti
if .....type!=jpg echo "Muori"; else echo "Decedi lo stesso!";Giusto?