From 6649c902cdb7660fa1b33f13dfcf4e8a5f87234c Mon Sep 17 00:00:00 2001
From: skodak <skodak>
Date: Sat, 5 Jul 2008 14:59:44 +0000
Subject: [PATCH] MDL-15516 prevent access to deleted profiles; backported from
 HEAD

---
 user/view.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/user/view.php b/user/view.php
index c2b1783429b..dca1d0d5f2a 100644
--- a/user/view.php
+++ b/user/view.php
@@ -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