From 643e3037e6e63befb2cec20f7986f14480d4ae4b Mon Sep 17 00:00:00 2001
From: nicosomb <nicolas@loeuillet.org>
Date: Mon, 15 Apr 2013 15:23:20 +0200
Subject: [PATCH] gestion de la fin de session #41

---
 inc/functions.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/inc/functions.php b/inc/functions.php
index 30e0039..3ee238d 100755
--- a/inc/functions.php
+++ b/inc/functions.php
@@ -243,7 +243,9 @@ function verif_token($token)
             {
                 return TRUE;
             }
-            else return FALSE;
+            else {
+                session_destroy();
+            }
         }
         else return FALSE;
     }