/******************************************************************************
 *
 *
 * funzioni per la gestione dei cookies
 *
 *
 *****************************************************************************/
 
///////////////////////////////////////////////////////////////////////
//
// crea un cookie indicandone il nome, il valore e la durata in giorni
//
// days: -1 = il ccokie termina immediatamente
//        0 = il cookie termina quando il browser viene chiuso
//       >0 = indica il numeo di giorni di durata del cookie
//
function createCookie(name, value, days)
{
	if (days)
	{
		var date = new Date();
		date.setTime(date.getTime() + (days * 24 * 60 * 60 * 1000));
		var expires = "; expires=" + date.toGMTString();
	}
	else
	{ 
		var expires = "";
	}
	
	document.cookie = name + "=" + value + expires + "; path=/";
}


///////////////////////////////////////////////////////////////////////
//
// legge il valore del cookie di cui se ne indica il nome
//
function readCookie(name)
{
	var nameEQ = name + "=";
	var ca = document.cookie.split(';');
	
	for(var i=0;i < ca.length;i++)
	{
		var c = ca[i];
		while (c.charAt(0)==' ') 
			c = c.substring(1, c.length);
		if (c.indexOf(nameEQ) == 0) 
			return c.substring(nameEQ.length, c.length);
	}
	
	return null;
}



///////////////////////////////////////////////////////////////////////
//
// cancella il cookie indicato
//
function eraseCookie(name)
{
	createCookie(name, "", -1);
}