From 32c58027d74d1f20df39580a3c5d28ba16cce91b Mon Sep 17 00:00:00 2001
From: jbousquie <jerome@bousquie.fr>
Date: Mon, 28 Nov 2016 10:30:58 +0100
Subject: [PATCH] ajout Profil()

---
 admin/stop.php | 21 ++++++---------------
 1 file changed, 6 insertions(+), 15 deletions(-)

diff --git a/admin/stop.php b/admin/stop.php
index d9d753d..9324cdb 100644
--- a/admin/stop.php
+++ b/admin/stop.php
@@ -1,23 +1,14 @@
 <?php
 // Ce script récupère une action (shutdown ou restart) et un tableau json de machines
 // Il émet une requête POST à $url_stop pour executer le shutdown sur le domaine
-include_once('libhome.php');
 include_once('winlog_admin_conf.php');
 include_once('client_http.php');
-$username = phpCAS::getUser();
-$admin = false;                     // booleen : utilisateur administrateur ?
-$supervis = false;                  // booleen : utilisateur superviseur ?
-if (in_array($username, $administrateurs)) {
-    $admin = true;
-}
-if (in_array($username, $superviseurs)) {
-    $supervis = true;
-}
-// on quitte immédiatement si non autorisé
-if (!$supervis and !$admin) {
-    header("Location: $winlog_url");
-    exit();
-}
+include_once('session.php');
+
+$username = Username();
+
+$profil = Profil($username);
+FiltreProfil($profil);
 
 $act = "";
 $logout = "fermer la session";