aboutsummaryrefslogtreecommitdiffhomepage
path: root/inc/functions.php
diff options
context:
space:
mode:
Diffstat (limited to 'inc/functions.php')
-rwxr-xr-xinc/functions.php4
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)
243 { 243 {
244 return TRUE; 244 return TRUE;
245 } 245 }
246 else return FALSE; 246 else {
247 session_destroy();
248 }
247 } 249 }
248 else return FALSE; 250 else return FALSE;
249 } 251 }