devel/jenkins-lts: Update rc script
Copied from devel/jenkins updates
This commit is contained in:
parent
2f0810f2d5
commit
16b73564a0
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=465251
2 changed files with 11 additions and 10 deletions
|
@ -2,6 +2,7 @@
|
|||
|
||||
PORTNAME= jenkins
|
||||
PORTVERSION= 2.107.1
|
||||
PORTREVISION= 1
|
||||
CATEGORIES= devel java
|
||||
MASTER_SITES= http://mirrors.jenkins-ci.org/war-stable/${PORTVERSION}/
|
||||
PKGNAMESUFFIX= -lts
|
||||
|
|
|
@ -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"
|
||||
|
|
Loading…
Reference in a new issue