diff options
| author | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2015-04-08 20:35:05 +0300 |
|---|---|---|
| committer | Fathi Boudra <fathi.boudra@linaro.org> | 2015-04-09 07:09:51 +0000 |
| commit | 5648e33d77bdd8c25ef52a718638aa0e63045713 (patch) | |
| tree | 89b95b31fa05a2245ec1bc38d6192992d6a4056f | |
| parent | 35dab9f93c807874d19a2cbb787d326dbe4a804c (diff) | |
jenkins: Stop jenkins service before proceeding with plugin upgrades, etc.
Make sure that Jenkins is stopped if running. Otherwise, they may be races
with it trying to doing something on plugins we download, etc.
Change-Id: Ib38c90c6a80c5b410b4594f765f0abedd7e9b809
| -rw-r--r-- | per-service/jenkins/roles/jenkins/tasks/jenkins-pkgs.yml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/per-service/jenkins/roles/jenkins/tasks/jenkins-pkgs.yml b/per-service/jenkins/roles/jenkins/tasks/jenkins-pkgs.yml index 97beefb1..0f04cbe9 100644 --- a/per-service/jenkins/roles/jenkins/tasks/jenkins-pkgs.yml +++ b/per-service/jenkins/roles/jenkins/tasks/jenkins-pkgs.yml @@ -15,6 +15,17 @@ - pkg - jenkins-install +# Make sure that Jenkins is stopped if running. Otherwise, they may be races +# with it trying to doing something on plugins we download, etc. +- name: Stop Jenkins (if running) + service: name=jenkins state=stop + sudo: yes + ignore_errors: yes + notify: + - Restart Jenkins + tags: + - jenkins-install + - name: Install Jenkins shell: RUNLEVEL=1 dpkg -i --skip-same-version /tmp/jenkins_{{jenkins_version}}_all.deb sudo: yes |