Merge pull request #2238 from nicolasnoble/no-containers

Disable saving failed containers, until we purge old ones.

We were running out of disk space.
pull/2241/head
Jorge Canizales 10 years ago
commit 5c7bfc4fa4
  1. 10
      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

Loading…
Cancel
Save