From 9417e9f9e86366588cd6725edad33d1e37840397 Mon Sep 17 00:00:00 2001 From: Jan Schneider Date: Mon, 17 Aug 2009 16:32:24 +0200 Subject: [PATCH] Fix incomplete merge. --- framework/Cli/lib/Horde/Cli.php | 8 ++++++++ 1 file changed, 8 insertions(+) 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(); + } + } -- 2.11.0