[dev-util/jenkins-bin] sync

dev-util/jenkins-bin/files/jenkins-bin.init2

@@ -11,8 +11,7 @@ checkconfig() {
         return 1
     fi
     if [ ! -d "$JENKINS_HOME" ] ; then
-        eerror "JENKINS_HOME directory does not exist: $JENKINS_HOME"
-        return 1
+        checkpath -q -d -o jenkins:jenkins -m 0755 "$JENKINS_HOME" || return 1
     fi
     return 0
 }

dev-util/jenkins-bin/files/jenkins-bin.logrotate

@@ -0,0 +1,17 @@
+/var/log/jenkins/jenkins.log /var/log/jenkins/access_log {
+    compress
+    dateext
+    maxage 365
+    rotate 99
+    size=+4096k
+    notifempty
+    missingok
+    create 644
+    postrotate
+        [ -r /etc/conf.d/jenkins ] && source /etc/conf.d/jenkins
+        if [ -s /var/run/jenkins/jenkins.pid ]; then
+            JPID=`cat /var/run/jenkins/jenkins.pid`
+            test -n "`find /proc/$JPID -maxdepth 0 -user ${RUN_AS:-jenkins} 2>/dev/null`" && kill -s ALRM $JPID || :
+        fi
+    endscript
+}