From a4aaeeaa81cbb5f7d2231f548e6f764a2d66e202 Mon Sep 17 00:00:00 2001 From: Dan Marsden Date: Mon, 12 Aug 2013 20:58:02 +1200 Subject: [PATCH] MDL-41144 enrol_flatfile: ignore deleted users. --- enrol/flatfile/lib.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/enrol/flatfile/lib.php b/enrol/flatfile/lib.php index 4add14e4b25..e0117b97feb 100644 --- a/enrol/flatfile/lib.php +++ b/enrol/flatfile/lib.php @@ -311,8 +311,8 @@ class enrol_flatfile_plugin extends enrol_plugin { } $roleid = $rolemap[$fields[1]]; - if (empty($fields[2]) or !$user = $DB->get_record("user", array("idnumber"=>$fields[2]))) { - $trace->output("Unknown user idnumber in field 3 - ignoring line $line", 1); + if (empty($fields[2]) or !$user = $DB->get_record("user", array("idnumber"=>$fields[2], 'deleted'=>0))) { + $trace->output("Unknown user idnumber or deleted user in field 3 - ignoring line $line", 1); continue; }