From 66e358b1e08b978bcd50e1f357d8968acac07a1f Mon Sep 17 00:00:00 2001
From: "Nicolas \"Pixel\" Noble" <pixel@nobis-crew.org>
Date: Sat, 27 Jun 2015 22:37:50 +0200
Subject: [PATCH] Disabling saving failed containers.

We clearly don't have enough space for that, if we are to run our tests every few minutes.
We can revisit that later and automatically purge old containers for example.
---
 tools/jenkins/run_jenkins.sh | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/tools/jenkins/run_jenkins.sh b/tools/jenkins/run_jenkins.sh
index 6042655a275..f2091e2423c 100755
--- a/tools/jenkins/run_jenkins.sh
+++ b/tools/jenkins/run_jenkins.sh
@@ -73,15 +73,7 @@ then
   DOCKER_CID=`cat docker.cid`
   docker kill $DOCKER_CID
   docker cp $DOCKER_CID:/var/local/git/grpc/report.xml $git_root
-  if [ "$DOCKER_FAILED" == "" ]
-  then
-    echo "Docker finished successfully, deleting the container $DOCKER_CID"
-    docker rm $DOCKER_CID
-  else
-    echo "Docker exited with failure, keeping container $DOCKER_CID."
-    echo "You can SSH to the worker and use 'docker commit CID YOUR_IMAGE_NAME' and 'docker run -i -t YOUR_IMAGE_NAME bash' to debug the problem."
-    exit 1
-  fi
+  docker rm $DOCKER_CID
 
 elif [ "$platform" == "windows" ]
 then