From 1fc4e2b414839ca1651439382d5d892b7cdb0333 Mon Sep 17 00:00:00 2001 From: Dan Marsden Date: Mon, 12 Aug 2013 21:01:05 +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 7e018251cd2..405a44031ae 100644 --- a/enrol/flatfile/lib.php +++ b/enrol/flatfile/lib.php @@ -121,8 +121,8 @@ class enrol_flatfile_plugin extends enrol_plugin { continue; } - if (! $user = $DB->get_record("user", array("idnumber"=>$fields[2]))) { - $this->log .= "Unknown user idnumber in field 3 - ignoring line\n"; + if (! $user = $DB->get_record("user", array("idnumber"=>$fields[2], 'deleted'=>0))) { + $this->log .= "Unknown user idnumber or deleted user in field 3 - ignoring line\n"; continue; }