Force to destroy the php session. Without this, some buggy PHP versions

can have problems under certain situations. :-)

diff --git a/admin/cron.php b/admin/cron.php
index 9a110b0c25e0f602077c7c41364c80fe83ab8d89..9aeeb9fda3c6151bdb36bfcdb3c85b7ce4b7702d 100644 (file)
--- 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());