gestion de la fin de session #41

diff --git a/inc/functions.php b/inc/functions.php
index 30e00393c126ead88c9908fd09a3bd20ce20ffaa..3ee238ddd1cf28e7aa33b7ba579263a862be143d 100755 (executable)
--- 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;
     }