diff options
| author | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2020-08-05 17:10:47 +0800 |
|---|---|---|
| committer | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2020-08-05 17:10:47 +0800 |
| commit | d29625ad1a08812c7d4188b05952695250f0737a (patch) | |
| tree | 5fe1f22e3837108c421c73c8f063d75a9c172993 /devel/jenkins/files/jenkins.in | |
| parent | 1c4197a0f1643491d80f4a2e6fb71a1b5337e329 (diff) | |
| download | freebsd-ports-gnome-d29625ad1a08812c7d4188b05952695250f0737a.tar.gz freebsd-ports-gnome-d29625ad1a08812c7d4188b05952695250f0737a.tar.zst freebsd-ports-gnome-d29625ad1a08812c7d4188b05952695250f0737a.zip | |
Update to 2.251
Align the default port and prefix with the upstream.
Diffstat (limited to 'devel/jenkins/files/jenkins.in')
| -rw-r--r-- | devel/jenkins/files/jenkins.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/jenkins/files/jenkins.in b/devel/jenkins/files/jenkins.in index dc970899ae48..2963a6441992 100644 --- a/devel/jenkins/files/jenkins.in +++ b/devel/jenkins/files/jenkins.in @@ -51,7 +51,7 @@ load_rc_config "${name}" : ${jenkins_enable:=NO} : ${jenkins_home="%%JENKINS_HOME%%"} -: ${jenkins_args="--webroot=${jenkins_home}/war --httpPort=8180 --prefix=/jenkins"} +: ${jenkins_args="--webroot=${jenkins_home}/war"} : ${jenkins_java_home="%%JAVA_HOME%%"} : ${jenkins_user="%%JENKINS_USER%%"} : ${jenkins_group="%%JENKINS_GROUP%%"} |