From 449988eca57b0fc80d937b814da8c75f561d739e Mon Sep 17 00:00:00 2001
From: Jan Schneider <jan@horde.org>
Date: Fri, 14 Aug 2009 23:58:38 +0200
Subject: [PATCH] Destroy session when CLI script ends.

---
 framework/Cli/lib/Horde/Cli.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/framework/Cli/lib/Horde/Cli.php b/framework/Cli/lib/Horde/Cli.php
index b1226d9c6..bdd8324bb 100644
--- a/framework/Cli/lib/Horde/Cli.php
+++ b/framework/Cli/lib/Horde/Cli.php
@@ -181,6 +181,8 @@ class Horde_Cli
             $this->_blue_start   = '<span style="color:blue">';
             $this->_red_end = $this->_green_end = $this->_yellow_end = $this->_blue_end = '</span>';
         }
+
+        register_shutdown_function('session_destroy');
     }
 
     /**
-- 
2.11.0