From db6b033d3ecccb96cccba7f75acf0212f4ece04c Mon Sep 17 00:00:00 2001
From: stronk7 <stronk7>
Date: Wed, 7 Jul 2004 19:35:28 +0000
Subject: [PATCH] Force to destroy the php session. Without this, some buggy
 PHP versions can have problems under certain situations. :-)

---
 admin/cron.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/admin/cron.php b/admin/cron.php
index 9a110b0c25..9aeeb9fda3 100644
--- a/admin/cron.php
+++ b/admin/cron.php
@@ -169,6 +169,10 @@
     echo $enrol->log;
 
 
+    //Unset session variables and destroy it
+    @session_unset();
+    @session_destroy();
+
     echo "Cron script completed correctly\n";
 
     $difftime = microtime_diff($starttime, microtime());
-- 
2.39.5