Merge pull request #3056 from ctiller/not-murdering-things-is-also-ok

Don't fail a build on failure to kill a docker instance
pull/3062/head
Jan Tattermusch 9 years ago
commit 1f1919c8cf
  1. 3
      tools/jenkins/run_jenkins.sh

@ -89,8 +89,9 @@ then
bash -l /var/local/jenkins/grpc/tools/jenkins/docker_run_jenkins.sh || DOCKER_FAILED="true"
DOCKER_CID=`cat docker.cid`
docker kill $DOCKER_CID
docker kill $DOCKER_CID || true
docker cp $DOCKER_CID:/var/local/git/grpc/report.xml $git_root
# TODO(ctiller): why?
sleep 4
docker rm $DOCKER_CID || true
elif [ "$platform" == "interop" ]

Loading…
Cancel
Save