rubisalpha/smart-house---final-
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Actualiser include/session_check.php

Browse Source
This commit is contained in:
rubisalpha
2026-05-22 12:20:47 +00:00
parent 27cdd60b9d
commit a586ce14d7
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
include/session_check.php
View File

@@ -1,7 +1,7 @@
<?php <?php
$timeout = 900; // 15 minutes $timeout = 900; // 15 minutes
$usersFile = __DIR__ . '/../users.json'; $usersFile = __DIR__ . '/../users.json.php';
$users = file_exists($usersFile) ? json_decode(file_get_contents($usersFile), true) : []; $users = file_exists($usersFile) ? json_decode(file_get_contents($usersFile), true) : [];
// Vérifier si connecté // Vérifier si connecté
@@ -10,14 +10,14 @@ if (!isset($_SESSION['user'])) {
exit(); exit();
} }
// Vérifier si l'utilisateur existe toujours dans users.json // Vérifier si l'utilisateur existe toujours dans users.json.php
if (!isset($users[$_SESSION['user']])) { if (!isset($users[$_SESSION['user']])) {
session_destroy(); session_destroy();
header("Location: login.php?timeout=1"); header("Location: login.php?timeout=1");
exit(); exit();
} }
// Vérifier si le rôle en session correspond toujours au rôle dans users.json // Vérifier si le rôle en session correspond toujours au rôle dans users.json.php
if ($_SESSION['role'] !== $users[$_SESSION['user']]['role']) { if ($_SESSION['role'] !== $users[$_SESSION['user']]['role']) {
$_SESSION['role'] = $users[$_SESSION['user']]['role']; $_SESSION['role'] = $users[$_SESSION['user']]['role'];
} }