diff options
author | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2013-07-05 19:15:48 +0000 |
---|---|---|
committer | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2013-07-05 19:15:48 +0000 |
commit | ae47aa07fb6adfb457a6aa6d45f675eed2f996cd (patch) | |
tree | 28ad1726bfeeeb0f2899c568576e59179c7c0128 /devel/jenkins/files/jenkins.in | |
parent | - Remove broken mirror and add two new ones. (diff) |
- Update to 1.521 [1] [2]
- Improve rc script,
use `su -l` for execuing jenkins for fresh environment [3]
PR: ports/178948 [1] ports/179456 [2] ports/178197 [3]
Submitted by: Volodymyr Kostyrko <c.kworr@gmail.com> [1]
skreuzer [2]
Mikhail Krasilnikov <mk@dvaslona.ru> [3]
Notes
Notes:
svn path=/head/; revision=322350
Diffstat (limited to 'devel/jenkins/files/jenkins.in')
-rw-r--r-- | devel/jenkins/files/jenkins.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/devel/jenkins/files/jenkins.in b/devel/jenkins/files/jenkins.in index 5558e4dc3556..901b7370550b 100644 --- a/devel/jenkins/files/jenkins.in +++ b/devel/jenkins/files/jenkins.in @@ -64,6 +64,7 @@ command_args="-p ${pidfile} ${java_cmd} -DJENKINS_HOME=${jenkins_home} ${jenkins required_files="${java_cmd}" start_precmd="jenkins_prestart" +start_cmd="jenkins_command start" jenkins_prestart() { if [ ! -f "${jenkins_log_file}" ]; then @@ -79,4 +80,13 @@ jenkins_prestart() { fi } +jenkins_command() +{ + check_startmsgs && echo "Starting ${name}." + su -l ${jenkins_user} -c "exec ${command} ${command_args} ${rc_arg}" +} + +export HOME=${jenkins_home} +cd ${HOME} + run_rc_command "$1" |