commit | bd692e97b54b69442dffc0d700479799c453f8c7 | [log] [tgz] |
---|---|---|
author | Jakub Josef <jakub.josef@gmail.com> | Thu Apr 06 18:56:38 2017 +0200 |
committer | Jakub Josef <jakub.josef@gmail.com> | Thu Apr 06 18:56:38 2017 +0200 |
tree | b24007aedece280dade954aa078b1bb0873aac54 | |
parent | e74e7a62d516cd5c44445b322f554484c6d3ac6f [diff] |
Improved Jenkins plugin installing Change-Id: Ie1f781c0a5d7c7fcffd7d763f7dde4fe3de2e872
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) {{