<?

	
	include("../BarreDeMenu.php3");
	
    include("../Session/security.php");

// Entete
    buildHeader("Liste des salles libres",true);
// Verification de la session
	$autorisation_list[0]=0; // Administrateur
	$autorisation_list[1]=3; // Gestionnaire
	$user_type = validateSession($id_session);
	if ($user_type == -1 || !security($id_session,$autorisation_list)) 
    {
        print("Accès refusé");
        print("<DIV ALIGN=RIGHT><A HREF=\"javascript:history.go(-1);\">Retour</A></DIV>\n");
    }
    else
    {
// Ouverture de la connexion avec la base de donnees
	    $connection = openConnection($databaseName);
// Formate l'heure au format hh:mm a partir du format hh.mm
		function formateHeure($h)
		{
			return date("H:i:00",mktime(floor($h),($h-floor($h)>0)?30:0,0,1,1,2000));
		}
// calcul de l'heure du debut du cours et de sa duree
        $found = false;
        $stop = false;
        $j = 0;
        while (!$stop && $j<6) // Jour
        {
            $i = 0;
            while (!$stop && $i<24) // Heure
            {
                if (substr($s_select,$i*6+$j,1) == 'x')
                {
                    if (!$found)
                    {
                        $found = true;
                        $deb_h = 8 + $i/2;
                        $s_jour_semaine = $j + 1; 
                    }
	            }
                else
                {
                    if ($found)
                    {
                        $stop = true;
                        $s_nb_heures = $i/2 - $deb_h + 8;
                    }
                }
                if (!$stop) $i++;
            }
            if (!$stop) $j++;
        }
// si l'heure de debut et la duree sont correctement definis
        if (isset($deb_h) && isset($s_nb_heures))
        {
// mise en forme de l'heure de debut et de fin
	        $heure_debut = formateHeure($deb_h);
			$heure_fin = formateHeure($deb_h+$s_nb_heures);
            $request2 = "(((TIME_TO_SEC('$heure_fin') - TIME_TO_SEC(heure_debut) > 0) AND (TIME_TO_SEC(heure_fin) - TIME_TO_SEC('$heure_fin') > 0)) OR ((TIME_TO_SEC(heure_fin) - TIME_TO_SEC('$heure_debut') > 0) AND (TIME_TO_SEC('$heure_debut') - TIME_TO_SEC(heure_debut) > 0)) OR (TIME_TO_SEC('$heure_debut') - TIME_TO_SEC(heure_debut) >= 0 AND TIME_TO_SEC(heure_fin) - TIME_TO_SEC('$heure_fin') >= 0))";
			$request = "SELECT id_salle,numero FROM salle";
            $result = mysql_query($request);
			$result2=mysql_num_rows($result);
            for ($i=0;$i<$result2;$i++)
            {
                $a_record = mysql_fetch_array($result);
				$request3 = "SELECT COUNT(*) FROM planifie 
                            WHERE id_salle=".$a_record["id_salle"]."
                            AND semaine=$s_semaine 
                            AND jour_semaine=$s_jour_semaine
                            AND ".$request2;
                $result3 = mysql_query($request3);
                $a_record2 = mysql_fetch_array($result3);  
                if ($a_record2["COUNT(*)"] == 0) print($a_record["numero"]."<BR>\n");
            }
        }
	}	
	buildEndOfPage();
?>