From: Jan Schneider <jan@horde.org>
Date: Mon, 17 Aug 2009 14:32:24 +0000 (+0200)
Subject: Fix incomplete merge.
X-Git-Url: https://git.internetallee.de/?a=commitdiff_plain;h=9417e9f9e86366588cd6725edad33d1e37840397;p=horde.git

Fix incomplete merge.
---

diff --git a/framework/Cli/lib/Horde/Cli.php b/framework/Cli/lib/Horde/Cli.php
index 0d1c26912..470a96a36 100644
--- a/framework/Cli/lib/Horde/Cli.php
+++ b/framework/Cli/lib/Horde/Cli.php
@@ -479,4 +479,12 @@ class Horde_Cli
                 empty($_SERVER['SERVER_NAME']));
     }
 
+    /**
+     * Destroys any session on script end.
+     */
+    private function _shutdown()
+    {
+        @session_destroy();
+    }
+
 }