diff options
| author | Jun Kuriyama <kuriyama@FreeBSD.org> | 2011-04-29 11:57:53 +0000 |
|---|---|---|
| committer | Jun Kuriyama <kuriyama@FreeBSD.org> | 2011-04-29 11:57:53 +0000 |
| commit | 1bbb9a9829aee45cb935fdd4cfffd6114522f14e (patch) | |
| tree | a7679815a54e6e602be624d5bb1a4b5abef52b99 | |
| parent | 511d3a2381ffc3d398c83e4c88687566f3ff44c1 (diff) | |
Notes
| -rw-r--r-- | devel/jenkins/Makefile | 1 | ||||
| -rw-r--r-- | devel/jenkins/files/jenkins.in | 5 |
2 files changed, 5 insertions, 1 deletions
diff --git a/devel/jenkins/Makefile b/devel/jenkins/Makefile index 9c078bc40020..f00349e1e0bf 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -7,6 +7,7 @@ PORTNAME= jenkins PORTVERSION= 1.407 +PORTREVISION= 1 CATEGORIES= devel java MASTER_SITES= http://mirrors.jenkins-ci.org/war/${PORTVERSION}/ DISTNAME= jenkins diff --git a/devel/jenkins/files/jenkins.in b/devel/jenkins/files/jenkins.in index 90f3864d5cc8..b0f5b862efd1 100644 --- a/devel/jenkins/files/jenkins.in +++ b/devel/jenkins/files/jenkins.in @@ -56,7 +56,7 @@ load_rc_config "${name}" : ${jenkins_group="%%JENKINS_GROUP%%"} : ${jenkins_log_file="%%JENKINS_LOG_FILE%%"} -pidfile="/var/run/jenkins.pid" +pidfile="/var/run/jenkins/jenkins.pid" command="/usr/sbin/daemon" java_cmd="${jenkins_java_home}/bin/java" procname="${java_cmd}" @@ -74,6 +74,9 @@ jenkins_prestart() { if [ ! -d "${jenkins_home}" ]; then install -d -o "${jenkins_user}" -g "${jenkins_group}" -m 750 "${jenkins_home}" fi + if [ ! -d "/var/run/jenkins" ]; then + install -d -o "${jenkins_user}" -g "${jenkins_group}" -m 750 "/var/run/jenkins" + fi } run_rc_command "$1" |