1 files changed, 3 insertions, 1 deletions

diff --git a/inc/functions.php b/inc/functions.php
index 30e00393..3ee238dd 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;
     }