Fix incomplete merge.

diff --git a/framework/Cli/lib/Horde/Cli.php b/framework/Cli/lib/Horde/Cli.php
index 0d1c269..470a96a 100644 (file)
--- 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();
+    }
+
 }