From 41a2b2c658b880709245fd4752ae338a1922d1f9 Mon Sep 17 00:00:00 2001
From: David Anderson <davea@ssl.berkeley.edu>
Date: Tue, 24 Jun 2014 09:09:36 -0700
Subject: [PATCH] admin web: fix warning

---
 html/ops/manage_user.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/ops/manage_user.php b/html/ops/manage_user.php
index f3951c348f..e9a13c3e8b 100644
--- a/html/ops/manage_user.php
+++ b/html/ops/manage_user.php
@@ -301,7 +301,7 @@ BoincForumPrefs::lookup($user);
 
 if (isset($_POST['delete_user'])) {
     delete_user($user);
-    admin_page_head();
+    admin_page_head("User deleted");
     echo "User $user->name ($user->id) deleted";
     admin_page_tail();
 }