diff options
Diffstat (limited to 'bin/reproducible_cleanup_nodes.sh')
| -rwxr-xr-x | bin/reproducible_cleanup_nodes.sh | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/bin/reproducible_cleanup_nodes.sh b/bin/reproducible_cleanup_nodes.sh index cad6bfa5..9656a651 100755 --- a/bin/reproducible_cleanup_nodes.sh +++ b/bin/reproducible_cleanup_nodes.sh @@ -20,12 +20,14 @@ elif [ "$(whoami)" != "jenkins" ] ; then fi # deny running this if jenkins is still running -RESULT=$(ps fax|grep '/usr/share/jenkins/jenkins.war'|grep -v grep||true) -if [ -n "$RESULT" ] ; then - echo "jenkins is still running, aborting." - exit 1 -else - echo "jenkins is not running, ok, let's go." +if [ "$1" != "--force" ] ; then + RESULT=$(ps fax|grep '/usr/share/jenkins/jenkins.war'|grep -v grep||true) + if [ -n "$RESULT" ] ; then + echo "jenkins is still running, aborting." + exit 1 + else + echo "jenkins is not running, ok, let's go." + fi fi # simple confirmation needed |