From 28fe74bf135c1cd2323344e3e3cacf8dbd818839 Mon Sep 17 00:00:00 2001
From: Laurent Destailleur <eldy@destailleur.fr>
Date: Sat, 1 Sep 2018 11:57:18 +0200
Subject: [PATCH] FIX #9371

---
 htdocs/user/logout.php | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/htdocs/user/logout.php b/htdocs/user/logout.php
index ceeaf35fddf..0d7cabba4e4 100644
--- a/htdocs/user/logout.php
+++ b/htdocs/user/logout.php
@@ -70,13 +70,20 @@ if (GETPOST('dol_no_mouse_hover'))       $url.=(preg_match('/\?/',$url)?'&':'?')
 if (GETPOST('dol_use_jmobile'))          $url.=(preg_match('/\?/',$url)?'&':'?').'dol_use_jmobile=1';
 
 // Destroy session
-$prefix=dol_getprefix('');
+/*$prefix=dol_getprefix('');
 $sessionname='DOLSESSID_'.$prefix;
 $sessiontimeout='DOLSESSTIMEOUT_'.$prefix;
 if (! empty($_COOKIE[$sessiontimeout])) ini_set('session.gc_maxlifetime',$_COOKIE[$sessiontimeout]);
 session_name($sessionname);
 session_destroy();
 dol_syslog("End of session ".$sessionname);
+*/
+dol_syslog("End of session ".session_id());
+if (session_status() === PHP_SESSION_ACTIVE)
+{
+	session_destroy();
+}
+
 
 // Not sure this is required
 unset($_SESSION['dol_login']);