From 0629c84b9a4a120a82fb8a945a2630bbc3814f58 Mon Sep 17 00:00:00 2001
From: David Anderson <davea@ssl.berkeley.edu>
Date: Fri, 25 Aug 2017 13:54:06 -0700
Subject: [PATCH] small fix in delete_spammers.php

---
 html/ops/delete_spammers.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/html/ops/delete_spammers.php b/html/ops/delete_spammers.php
index e238940915..b9dd372f50 100755
--- a/html/ops/delete_spammers.php
+++ b/html/ops/delete_spammers.php
@@ -263,6 +263,9 @@ function delete_users($no_hosts, $no_posts, $no_teams, $have_url) {
     $n = 0;
     while ($u = $result->fetch_object()) {
         $user = BoincUser::lookup_id($u->id);
+        if (!$user) {
+            continue;
+        }
         if ($have_url) {
             if (!strlen($user->url)) continue;
         }