Make deleted bots still show up when searched for by id

appengine/swarming/ui/res/imp/botpage/bot-page.html

 <!--
   Copyright 2016 The LUCI Authors. All rights reserved.
   Use of this source code is governed under the Apache License, Version 2.0
   that can be found in the LICENSE file.
 
   This in an HTML Import-able file that contains the definition
   of the following elements:
 
     <bot-page>
 
@@ skipping 65 matching lines @@
       #collapse {
         max-width: 700px;
       }
 
       .cloud {
         white-space: nowrap;
         margin-bottom: 5px;
         margin-top: auto;
       }
 
+      .deleted {
+        text-align: center;
+        font-size: larger;
+      }
+
       paper-checkbox {
         --paper-checkbox-label-color: #fff;
         --paper-checkbox-checked-color: #fff;
         --paper-checkbox-checkmark-color: #000;
         --paper-checkbox-unchecked-color: #fff;
         padding: 3px;
       }
 
       paper-dialog {
         border-radius: 6px;
@@ skipping 52 matching lines @@
           </button>
         </div>
       </div>
 
       <h2 hidden$="[[_bot_exists]]">Bot not found.</h2>
 
       <div hidden$="[[_not(_bot_exists)]]">
         <div class="horizontal wrap layout">
           <div class="flex">
             <table>
+              <template is="dom-if" if="[[_bot.deleted]]">
+                <tr class="dead deleted" title="This bot was deleted.">
+                  <td colspan=3>THIS BOT WAS DELETED</td>
+                </td>
+              </tr>
+              </template>
               <tr class$="[[_isDead(_bot)]]" title="Last time the bot contacted the server.">
                 <td>Last Seen</td>
                 <td title="[[_bot.human_last_seen_ts]]">
                   [[_timeDiffExact(_bot.last_seen_ts)]] ago</td>
                 <td>
                 <!-- dom-ifs are slightly less performant than hidden$=, but
                 prevent things from first drawing and then hiding. We prefer to
                 not flash buttons or quarantined messages -->
                   <template is="dom-if" if="[[_canShutdown(_bot,_permissions)]]">
                     <button class="raised" on-click="_promptShutdown">
@@ skipping 266 matching lines @@
         },
         _parseTasks: {
           type: Function,
           value: function() {
             return this.$.data.parseTasks.bind(this);
           }
         }
       },
 
       _canCancel: function(bot, permissions) {
-        return bot && bot.task_id && permissions.cancel_task;
+        return bot && bot.task_id && permissions.cancel_task && !bot.deleted;
       },
 
       _canDelete: function(bot, permissions) {
-        return bot && bot.is_dead && permissions.delete_bot;
+        return bot && bot.is_dead && permissions.delete_bot && !bot.deleted;
       },
 
       _canShutdown: function(bot, permissions){
-        return bot && !bot.is_dead && permissions.terminate_bot;
+        return bot && !bot.is_dead && permissions.terminate_bot && !bot.deleted;
       },
 
       _classVersion: function(serverVersion, otherVersion) {
         if (serverVersion !== otherVersion) {
           return "old_version";
         }
         return "";
       },
 
       _clearAndReload: function(botID) {
@@ skipping 33 matching lines @@
       _eventList(showAll) {
         if (!this._events) {
           return [];
         }
         return this._events.filter(function(e){
           return showAll || e.message;
         });
       },
 
       _isDead(bot){
-        if (bot && bot.is_dead) {
+        if (bot && bot.is_dead && !bot.deleted) {
           return "dead";
         }
         return "";
       },
 
       _luciLink: function(revision) {
         if (!revision) {
           return undefined;
         }
         return "https://github.com/luci/luci-py/commit/" + revision;
@@ skipping 110 matching lines @@
       },
 
       _toggleState: function() {
         this.set("_show_state", !this._show_state);
       }
 
     });
   })();
   </script>
 </dom-module>