/*
 * Function controllo file caricato solo jpeg
 * Marco dainese
 */


function get_estensione(path) {
    posizione_punto=path.lastIndexOf(".");
	lunghezza_stringa=path.length;
	estensione=path.substring(posizione_punto+1,lunghezza_stringa);
	return estensione;
}
function controlla_estensione(path){
	if((get_estensione(path)!="jpg") && (get_estensione(path)!="gif") && 
	(get_estensione(path)!="png") && (get_estensione(path)!="JPG") && 
	(get_estensione(path)!="GIF") && (get_estensione(path)!="PNG")){

		alert("Il file deve avere estensione jpg o gif o png");
	}
}