From 4c91e259f14b32107fa3ecb62522c0bddb965196 Mon Sep 17 00:00:00 2001
From: jbousquie <jerome@bousquie.fr>
Date: Mon, 28 Nov 2016 09:37:15 +0100
Subject: [PATCH] ajout session.php

---
 admin/session.php | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 admin/session.php

diff --git a/admin/session.php b/admin/session.php
new file mode 100644
index 0000000..a394c34
--- /dev/null
+++ b/admin/session.php
@@ -0,0 +1,27 @@
+<?php
+// Ce fichier contient la gestion de la gestion applicative Winlog, différente de la session CAS/
+// Il démarre une session php. Ne pas appeler en même temps que libhome.php qui démarre une session php pour CAS.
+include_once('winlog_admin_conf.php');
+session_start();
+
+if (!isset($_SESSION['username'])) {
+    header('Location: '.$winlog_url);
+}
+
+// Fonction Profil() : renvoie la valeur du role de $username
+// administrateur   => 2
+// superviseur      => 1
+// autre            => 0
+function Profil($username) {
+    global $administrateurs, $superviseurs;
+    if (in_array($username, $administrateurs)) {
+        return 2;
+    } 
+    elseif (in_array($username, $superviseurs)) {
+        return 1;
+    }
+    else {
+        return 0;
+    }
+}
+?>
\ No newline at end of file