<input type="text" value="<?php 
echo getConfig("unit_config", "unit_default_config", $epn);
?>
" name="unit" class="form-control" placeholder="Min">
			<label>Durée maximum (min): <small class="badge bg-blue" data-toggle="tooltip" title="Dur&eacute;e maximum de la r&eacute;servation d'un poste par personne "><i class="fa fa-info"></i></small></label>
				<input type="text" value="<?php 
echo getConfig("maxtime_config", "maxtime_default_config", $epn);
?>
" name="maxtime" class="form-control" placeholder="Min">
			</div>
			
		<!-- Paramétrages de la réservation rapide -->
			<div class="form-group">
			<label>Activer la réservation rapide ?</label>
				<?php 
$resamode = getConfigConsole($epn, "resarapide");
$dureerr = getConfig("duree_resarapide", "unit_default_config", $epn);
switch ($resamode) {
    case '0':
        $sel1 = "checked=\"checked\"";
        $sel2 = "";
        break;
    case '1':
        $sel1 = "";
        $sel2 = "checked=\"checked\"";
        break;
}
?>
				<input type="radio"  value="0" name="resarapide" <?php 
echo $sel1;
?>
                $minute = str_split(date('i'));
                $min = 0;
                if ($minute[1] >= 0 and $minute[1] < 4) {
                    $min = substr_replace(date('i'), "0", 1, 1);
                } else {
                    if ($minute[1] > 3 and $minute[1] < 8) {
                        $min = substr_replace(date('i'), "5", 1, 1);
                    } else {
                        if ($minute[1] > 7) {
                            $minu = $minute[0] + 1 . "0";
                            $min = substr_replace(date('i'), $minu, 0, 2);
                        }
                    }
                }
                $heure = date('G') * 60 + $min;
                $duree = getConfigConsole($epn, "duree_resarapide");
                //duree de la resa determinée par config_horaire
                //retrouver la liste des postes
                //$salle=1;
                $poster = getAllComputerDispo($salle);
                ?>
			
			
			<div class="input-group">
				<label>Poste : </label>
					<select name="idcomp">
					<?php 
                foreach ($poster as $key => $value) {
                    if ($num == $key) {
                        echo "<option value=\"" . $key . "\" selected>" . $value . "</option>";
                    } else {
Beispiel #3
0
        break;
    case 4:
        $statut = "Administrateur";
        ?>
	<ul class="sidebar-menu">
	
		<li class="<?php 
        if ($_GET["a"] == "") {
            echo "active";
        } else {
            echo "treeview";
        }
        ?>
"><a href="index.php"><i class="fa fa-home"></i><span>Accueil</span></a></li>
		<?php 
        $consolemode = getConfigConsole($_SESSION["idepn"], "activer_console");
        if ($consolemode == 1) {
            if ($_GET["a"] == 45) {
                $class = "active";
            } else {
                $class = "treeview";
            }
            echo '<li class="' . $class . '"><a href="index.php?a=45"><i class="fa fa-dashboard"></i><span>Console</span></a></li>';
        }
        ?>
			<li class="<?php 
        if ($_GET["a"] == 41) {
            echo "active";
        } else {
            echo "treeview";
        }