From 95a0decab2cc2b54ad3d91717241556a56563c90 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 00773cffb..71db754c2 100644
--- a/libraries/session.inc.php
+++ b/libraries/session.inc.php
@@ -104,6 +104,7 @@ if (! isset($_COOKIE[$session_name])) {
     $session_error = ob_get_contents();
     ob_end_clean();
     if ($r !== true || ! empty($session_error)) {
+        setcookie($session_name, '', 1);
         $cfg = array('DefaultLang'           => 'en-iso-8859-1',
                      'AllowAnywhereRecoding' => false);
         // Loads the language file