| commit | 70d22201f2b1767162b65913a19c47c6e04b603b | [log] [tgz] |
|---|---|---|
| author | Jakub Josef <jakub.josef@gmail.com> | Thu Apr 06 16:58:16 2017 +0000 |
| committer | Gerrit Code Review <gerrit2@5776b83a74fe> | Thu Apr 06 16:58:17 2017 +0000 |
| tree | 009de28ca0a5566bfc99e3d6a803d49063a2aba4 | |
| parent | 07fc80dc252010e39de10fe2a935af2cdc6f3534 [diff] | |
| parent | bd692e97b54b69442dffc0d700479799c453f8c7 [diff] |
Merge "Improved Jenkins plugin installing"
diff --git a/_states/jenkins_plugin.py b/_states/jenkins_plugin.py index 4956751..6c2b0d4 100644 --- a/_states/jenkins_plugin.py +++ b/_states/jenkins_plugin.py
@@ -33,6 +33,9 @@ }} }}else{{ exists = true + if({restart}){{ + instance.doSafeRestart() + }} print("EXISTS") }} if (installed) {{