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

can have problems under certain situations. :-)
2004-07-07 19:35:28 +00:00
parent 04fcbbe382
commit db6b033d3e
1 changed files with 4 additions and 0 deletions
@@ -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());