kill: After killing a run, report it as dead

In case processes died a messy death.

Signed-off-by: Zack Cerza <zack@redhat.com>

diff --git a/teuthology/kill.py b/teuthology/kill.py
index ec61265a5178f2e33e53a9621fe0af23ae239a50..8e14109faa6da64a1a73f5e6a8a09e81e49a90a0 100755 (executable)
--- a/teuthology/kill.py
+++ b/teuthology/kill.py
@@ -75,6 +75,7 @@ def kill_run(run_name, archive_base=None, owner=None, machine_type=None,
     if owner is not None:
         targets = find_targets(run_name, owner)
         nuke_targets(targets, owner)
+    report.try_mark_run_dead(run_name)
 
 
 def kill_job(run_name, job_id, archive_base=None, owner=None, skip_nuke=False):