update from jenkins 2.263.2

Signed-off-by: Holger Levsen <holger@layer-acht.org>

hosts/jenkins/etc/init.d/jenkins

@@ -170,7 +170,7 @@ do_start()
 #
 get_running()
 {
-    return `ps -U $JENKINS_USER --no-headers -f | egrep -e '(java)' | grep -v defunct | grep -c . `
+    return `pgrep -U $JENKINS_USER -f jenkins.war | grep -c .`
 }
 
 #