From 372196c52889c31692bbbf2024538192805be3f7 Mon Sep 17 00:00:00 2001
From: Michael M Slusarz <slusarz@curecanti.org>
Date: Fri, 2 Jul 2010 12:45:07 -0600
Subject: [PATCH] Bug #9085: Destroying a session counts as a clean session

---
 framework/Core/lib/Horde/Registry.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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;
         }
     }
 
-- 
2.11.0