MDL-15516 prevent access to deleted profiles; backported from HEAD

2008-07-05 14:59:44 +00:00
parent 2fd1b1a9a3
commit 6649c902cd
1 changed files with 2 additions and 0 deletions
@@ -144,6 +144,8 @@

    if ($user->deleted) {
        print_heading(get_string('userdeleted'));
+        print_footer($course);
+        die;
    }

 /// OK, security out the way, now we are showing the user