diff options
| author | Sven Gothel <[email protected]> | 2018-12-10 07:13:24 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2018-12-10 07:13:24 +0100 |
| commit | 13b9b309d2ce446ece844319a605c53069fb6571 (patch) | |
| tree | 0b62cbae44e05492e366e1abe40984e1e53ee169 /jenkins-server-slave-setup/scripts/stop.jenkins.sh | |
| parent | adde84f2a01b2481fff863f083ad26c53ea448df (diff) | |
Update jabot and jenkins start/stop scripts
Diffstat (limited to 'jenkins-server-slave-setup/scripts/stop.jenkins.sh')
| -rwxr-xr-x | jenkins-server-slave-setup/scripts/stop.jenkins.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins-server-slave-setup/scripts/stop.jenkins.sh b/jenkins-server-slave-setup/scripts/stop.jenkins.sh index fbf8454..5246a60 100755 --- a/jenkins-server-slave-setup/scripts/stop.jenkins.sh +++ b/jenkins-server-slave-setup/scripts/stop.jenkins.sh @@ -1,3 +1,3 @@ #!/bin/bash -kill `ps -ef | grep jenkins.war | grep -v grep | awk '{ print $2 }'` +kill -9 `ps -ef | grep jenkins.war | grep -v grep | awk '{ print $2 }'` |