From: Michael M Slusarz <slusarz@curecanti.org>
Date: Fri, 2 Jul 2010 18:45:07 +0000 (-0600)
Subject: Bug #9085: Destroying a session counts as a clean session
X-Git-Url: https://git.internetallee.de/?a=commitdiff_plain;h=372196c52889c31692bbbf2024538192805be3f7;p=horde.git

Bug #9085: Destroying a session counts as a clean session
---

diff --git a/framework/Core/lib/Horde/Registry.php b/framework/Core/lib/Horde/Registry.php
index 092f52c66..d11d4236e 100644
--- a/framework/Core/lib/Horde/Registry.php
+++ b/framework/Core/lib/Horde/Registry.php
@@ -1635,7 +1635,8 @@ class Horde_Registry
         $this->unloadPrefs();
 
         if ($destroy) {
-            @session_destroy();
+            session_destroy();
+            $this->_cleansession = true;
         }
     }