diff options
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 }'` |