summaryrefslogtreecommitdiffstats
path: root/hosts/jenkins/etc
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2016-09-15 08:38:15 +0200
committerHolger Levsen <holger@layer-acht.org>2016-09-15 08:38:15 +0200
commit5edfaad69c4cde743ea18d81121e6394a5586dd5 (patch)
tree721e1505c356d029835a7444bb8daea4963ffc98 /hosts/jenkins/etc
parenta239d09e1ed2624d3a02dd42f3291ace2a3ed867 (diff)
downloadjenkins.debian.net-5edfaad69c4cde743ea18d81121e6394a5586dd5.tar.xz
merge change from jenkins 2.7.4
Diffstat (limited to 'hosts/jenkins/etc')
-rwxr-xr-xhosts/jenkins/etc/init.d/jenkins2
1 files changed, 1 insertions, 1 deletions
diff --git a/hosts/jenkins/etc/init.d/jenkins b/hosts/jenkins/etc/init.d/jenkins
index 4b266c45..51783a81 100755
--- a/hosts/jenkins/etc/init.d/jenkins
+++ b/hosts/jenkins/etc/init.d/jenkins
@@ -134,7 +134,7 @@ do_start()
#
get_running()
{
- return `ps -U $JENKINS_USER --no-headers -f | egrep -e '(java|daemon)' | grep -c . `
+ return `ps -U $JENKINS_USER --no-headers -f | egrep -e '(java)' | grep -v defunct | grep -c . `
}
force_stop()