From f5018d7f619dad56e6b2b3543de9f4ed9668f567 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Tue, 5 Jun 2007 16:32:49 +0000
Subject: [PATCH] bug #1728590, last part of the fix

---
 libraries/session.inc.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/libraries/session.inc.php b/libraries/session.inc.php
index 111b1ecb0..382b60ba3 100644
--- a/libraries/session.inc.php
+++ b/libraries/session.inc.php
@@ -93,6 +93,7 @@ if (! isset($_COOKIE[$session_name])) {
     $session_error = ob_get_contents();
     ob_end_clean();
     if ($r !== true || ! empty($session_error)) {
+        setcookie($session_name, '', 1);
         PMA_fatalError('strSessionStartupErrorGeneral');
     }
 } else {