From e4f350f2ce7d5296f5223184b3031afdb89403e4 Mon Sep 17 00:00:00 2001
From: rubisalpha <rubisalpha@noreply.localhost>
Date: Thu, 9 Apr 2026 13:33:21 +0000
Subject: [PATCH] Ajouter include/session_check.php

---
 include/session_check.php | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 include/session_check.php

diff --git a/include/session_check.php b/include/session_check.php
new file mode 100644
index 0000000..63d9268
--- /dev/null
+++ b/include/session_check.php
@@ -0,0 +1,19 @@
+<?php
+$timeout = 900; // 15 minutes en secondes
+
+if (!isset($_SESSION['user'])) {
+    header("Location: login.php");
+    exit();
+}
+
+if (isset($_SESSION['last_activity'])) {
+    $inactif = time() - $_SESSION['last_activity'];
+    if ($inactif > $timeout) {
+        session_destroy();
+        header("Location: login.php?timeout=1");
+        exit();
+    }
+}
+
+// Mettre à jour le temps de dernière activité
+$_SESSION['last_activity'] = time();
\ No newline at end of file