// JavaScript Document

function message(text)
{	
	alert(text);
}

/**
 * Recharge la page courante en rajoutant les paramètres de choix de 
 * la langue à la fin de l'adresse:
 * Exemple: on est sur la page presentation.php, un appel à cette méthode
 * recharchera la page à l'adresse: presentation.php?command=choixLangue&langue=XX
 * où XX est la langue passée en paramètre
 * @param Indicatif de 2 lettres de la langue, en miniscules (eg: fr, en, de, es)
 */
function choixLangue(langue)
{
	var current = document.location.href;
	// réutiliser le choix de la langue
	var commandPos = current.indexOf('?');
	if ( commandPos > 0 )
	{
		current = current.substr(0, commandPos);
	} // if
	// enlever l'ancre, si elle existe
	commandPos = current.indexOf('#');
	if ( commandPos > 0 )
	{
		current = current.substr(0, commandPos);
	} // if
	document.location.href = current + "?commande=choixLangue&langue=" + langue;
}

/**
 * Met le texte d'un DIV spéficié par son ID à la valeur 
 * définie par texte
 * @param divID Identifiant de l'élement DIV à modifier
 * @param texte à mettre
 * @return true si l'opération a été effectuée, false sinon
 */
function setDivText(divID, texte)
{
	var div = document.getElementById(divID);
	if (div)
	{
		div.innerHTML = texte;
		div.style.display = ""; // rendre visible
		return true;
	}
	else
	{
		return false;
	}
} // setDivText