diff options
author | 2017-10-02 07:25:02 +0000 | |
---|---|---|
committer | 2017-10-02 07:25:02 +0000 | |
commit | 9e9d853d65357f2519cd5fbadcb58105a4b0c349 (patch) | |
tree | 0a7771c6a8c294ed894344dfd81009f1e928de1d | |
parent | 5fe944e9812c0bfcbe2b63e0ed9a6438cf61fac6 (diff) | |
parent | 0850024f0ea0fbe81efefae9d4a49dcf9521a73e (diff) |
Merge "Keep Docker builds from thrashing on same server"
-rw-r--r-- | jjb/releng/opnfv-docker.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/jjb/releng/opnfv-docker.sh b/jjb/releng/opnfv-docker.sh index 954d7c8ab..298d2af51 100644 --- a/jjb/releng/opnfv-docker.sh +++ b/jjb/releng/opnfv-docker.sh @@ -17,6 +17,17 @@ echo "Starting opnfv-docker for $DOCKER_REPO_NAME ..." echo "--------------------------------------------------------" echo +count=30 # docker build jobs might take up to ~30 min +while [[ -n `ps -ef| grep 'docker build' | grep $DOCKER_REPO_NAME | grep -v grep` ]]; do + echo "Build or cleanup of $DOCKER_REPO_NAME in progress. Waiting..." + sleep 60 + count=$(( $count - 1 )) + if [ $count -eq 0 ]; then + echo "Timeout. Aborting..." + exit 1 + fi +done + # Remove previous running containers if exist if [[ -n "$(docker ps -a | grep $DOCKER_REPO_NAME)" ]]; then echo "Removing existing $DOCKER_REPO_NAME containers..." |