diff options
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" |