From 3d20b000b7195bfdba1e472a7ca3f4bb366d3e75 Mon Sep 17 00:00:00 2001
From: Craig Tiller <ctiller@google.com>
Date: Tue, 25 Aug 2015 09:49:02 -0700
Subject: [PATCH] Add a comment describing out views on killing

---
 tools/jenkins/run_jenkins.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tools/jenkins/run_jenkins.sh b/tools/jenkins/run_jenkins.sh
index 7bae48dc199..0f15835ea88 100755
--- a/tools/jenkins/run_jenkins.sh
+++ b/tools/jenkins/run_jenkins.sh
@@ -89,6 +89,9 @@ then
     bash -l /var/local/jenkins/grpc/tools/jenkins/docker_run_jenkins.sh || DOCKER_FAILED="true"
 
   DOCKER_CID=`cat docker.cid`
+  # forcefully kill the instance if it's still running, otherwise
+  # continue 
+  # (failure to kill something that's already dead => things are dead)
   docker kill $DOCKER_CID || true
   docker cp $DOCKER_CID:/var/local/git/grpc/report.xml $git_root
   # TODO(ctiller): why?