jerome/winlog
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ajout Profil()

Browse Source
This commit is contained in:
jbousquie 2016-11-28 10:25:19 +01:00
parent 04dbe6067e
commit dc4301dca0
1 changed files with 5 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
admin/machine.php
View File

@ -1,27 +1,16 @@
<?php
// Cette page est la fiche machine d'un poste
// Le délais de reload de la liste des tâches est le délais Winlog x 3 pour limiter les appels vers $url_taches
include_once('libhome.php');
include_once('winlog_admin_conf.php');
include_once('connexions.php');
include_once('session.php');
$delayMs = $delay * 3000;
$username = phpCAS::getUser();
$username = Username();
// test profil utilisateur
$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();
}
$profil = Profil($username);
FiltreProfil($profil);
$admin = ($profil == 2);
// si le script est appelé sans paramètre, on quitte aussi
$host = $_GET['id'];