MDL-16468 never mail deleted users

2008-09-11 19:53:35 +00:00
parent f709ee920d
commit 26c2ccbbe5
1 changed files with 5 additions and 0 deletions
@@ -4082,6 +4082,11 @@ function email_to_user($user, $from, $subject, $messagetext, $messagehtml='', $a
        return false;
    }

+    if (!empty($user->deleted)) {
+        // do not mail delted users
+        return false;
+    }
+
    if (!empty($CFG->noemailever)) {
        // hidden setting for development sites, set in config.php if needed
        return true;