MDL-17477 improve session purging when deleting users

diff --git a/lib/moodlelib.php b/lib/moodlelib.php
index 6cf7236..e797bf6 100644 (file)
--- a/lib/moodlelib.php
+++ b/lib/moodlelib.php
@@ -3509,6 +3509,9 @@ function delete_user($user) {
     // last course access not necessary either
     $DB->delete_records('user_lastaccess', array('userid'=>$user->id));
 
+    // force logout - may fail if file based sessions used, sorry
+    session_kill_user($user->id);
+
     // now do a final accesslib cleanup - removes all role assignments in user context and context itself
     delete_context(CONTEXT_USER, $user->id);