diff options
| author | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2018-03-20 05:31:10 +0000 |
|---|---|---|
| committer | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2018-03-20 05:31:10 +0000 |
| commit | fa743ce1217a85f6c2ffb94c700808f12f912737 (patch) | |
| tree | 5e8c7e0895e2bda30896c174323b8053dbdb24bc | |
| parent | 1f9bc2001ba70eb40b143cbb7d87ad8e6f34d5f8 (diff) | |
| download | ports-fa743ce1217a85f6c2ffb94c700808f12f912737.tar.gz ports-fa743ce1217a85f6c2ffb94c700808f12f912737.zip | |
- Update to 2.112
- Pet rclint
Notes
Notes:
svn path=/head/; revision=465065
| -rw-r--r-- | devel/jenkins/Makefile | 2 | ||||
| -rw-r--r-- | devel/jenkins/distinfo | 6 | ||||
| -rw-r--r-- | devel/jenkins/files/jenkins.in | 20 |
3 files changed, 14 insertions, 14 deletions
diff --git a/devel/jenkins/Makefile b/devel/jenkins/Makefile index 689ccb127783..fe0060f39be2 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 2.110 +PORTVERSION= 2.112 CATEGORIES= devel java MASTER_SITES= http://mirrors.jenkins-ci.org/war/${PORTVERSION}/ DISTNAME= jenkins diff --git a/devel/jenkins/distinfo b/devel/jenkins/distinfo index 762632fd0b11..28dbbe6952fb 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1520305953 -SHA256 (jenkins/2.110/jenkins.war) = 3a6a13a2a8f88cdf8afb9945d427d97c85a9b6d3f6cfa3b994cb47e2c8125fa5 -SIZE (jenkins/2.110/jenkins.war) = 74585998 +TIMESTAMP = 1521523660 +SHA256 (jenkins/2.112/jenkins.war) = 085f597edeb0d49d54d7653f3742ba31ed72b8a1a2b053d2eb23fd806c6a5393 +SIZE (jenkins/2.112/jenkins.war) = 74601396 diff --git a/devel/jenkins/files/jenkins.in b/devel/jenkins/files/jenkins.in index 019ffde28bee..dc970899ae48 100644 --- a/devel/jenkins/files/jenkins.in +++ b/devel/jenkins/files/jenkins.in @@ -43,12 +43,13 @@ . /etc/rc.subr -name="jenkins" +name=jenkins +desc="Jenkins automation server" rcvar=jenkins_enable load_rc_config "${name}" -: ${jenkins_enable="NO"} +: ${jenkins_enable:=NO} : ${jenkins_home="%%JENKINS_HOME%%"} : ${jenkins_args="--webroot=${jenkins_home}/war --httpPort=8180 --prefix=/jenkins"} : ${jenkins_java_home="%%JAVA_HOME%%"} @@ -56,21 +57,20 @@ load_rc_config "${name}" : ${jenkins_group="%%JENKINS_GROUP%%"} : ${jenkins_log_file="%%JENKINS_LOG_FILE%%"} -pidfile="/var/run/jenkins/jenkins.pid" -command="/usr/sbin/daemon" +pidfile=/var/run/jenkins/jenkins.pid +command=/usr/sbin/daemon java_cmd="${jenkins_java_home}/bin/java" procname="${java_cmd}" command_args="-p ${pidfile} ${java_cmd} -DJENKINS_HOME=${jenkins_home} ${jenkins_java_opts} -jar %%DATADIR%%/jenkins.war ${jenkins_args} >> ${jenkins_log_file} 2>&1" required_files="${java_cmd}" -start_precmd="jenkins_prestart" -start_cmd="jenkins_start" +start_precmd=jenkins_prestart +start_cmd=jenkins_start -jenkins_prestart() { +jenkins_prestart() +{ if [ ! -f "${jenkins_log_file}" ]; then - touch "${jenkins_log_file}" - chown "${jenkins_user}:${jenkins_group}" "${jenkins_log_file}" - chmod 640 "${jenkins_log_file}" + install -o "${jenkins_user}" -g "${jenkins_group}" -m 640 /dev/null "${jenkins_log_file}" fi if [ ! -d "/var/run/jenkins" ]; then install -d -o "${jenkins_user}" -g "${jenkins_group}" -m 750 "/var/run/jenkins" |