diff options
Diffstat (limited to 'hosts/jenkins')
| -rwxr-xr-x | hosts/jenkins/etc/init.d/jenkins | 2 |
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() |