diff options
| author | znerd <znerd@FreeBSD.org> | 2002-03-05 03:58:22 +0800 |
|---|---|---|
| committer | znerd <znerd@FreeBSD.org> | 2002-03-05 03:58:22 +0800 |
| commit | 4749fd7ae16e35de01cc7a6458fd4f89b2975428 (patch) | |
| tree | e9202f13bcc5760a2ae9b88dce985bee0a48a608 /www/orion-devel | |
| parent | 09b2c18cb82277dc4c469cfeb7e1ff83871ee79e (diff) | |
| download | freebsd-ports-gnome-4749fd7ae16e35de01cc7a6458fd4f89b2975428.tar.gz freebsd-ports-gnome-4749fd7ae16e35de01cc7a6458fd4f89b2975428.tar.zst freebsd-ports-gnome-4749fd7ae16e35de01cc7a6458fd4f89b2975428.zip | |
Now allows for setting the port the RMI server will listen to.
Set AUTO_START by default to NO.
Bumped PORTREVISION.
Submitted by: Rob Simmons <rsimmons@mail.wlcg.com>
Diffstat (limited to 'www/orion-devel')
| -rw-r--r-- | www/orion-devel/Makefile | 18 |
1 files changed, 13 insertions, 5 deletions
diff --git a/www/orion-devel/Makefile b/www/orion-devel/Makefile index c253850a5758..f05184a17a21 100644 --- a/www/orion-devel/Makefile +++ b/www/orion-devel/Makefile @@ -7,6 +7,7 @@ PORTNAME= orion PORTVERSION= 1.5.2 +PORTREVISION= 1 CATEGORIES= www java MASTER_SITES= http://www.orionserver.com/distributions/ \ http://www.atlassian.com/software/orion/downloads/ \ @@ -45,8 +46,9 @@ GROUP_NAME?= ${USER_NAME} USER_ID?= 7104 GROUP_ID?= ${USER_ID} PW?= /usr/sbin/pw -LISTEN_PORT?= 8090 -AUTO_START?= YES +HTTP_PORT?= 8090 +RMI_PORT?= 23791 +AUTO_START?= NO pre-install: @${ECHO} "Installation settings:" @@ -57,7 +59,8 @@ pre-install: @${ECHO} " Location of Java port: ${JAVA_PORT}" @${ECHO} " Using Jikes: ${WITH_JIKES}" @${ECHO} " Running as (user/group): ${USER_NAME}/${GROUP_NAME} (${USER_ID}:${GROUP_ID})" - @${ECHO} " Port to listen at: ${LISTEN_PORT}" + @${ECHO} " HTTP port: ${HTTP_PORT}" + @${ECHO} " RMI port: ${RMI_PORT}" @${ECHO} " Starting after install: ${AUTO_START}" do-install: @@ -81,11 +84,16 @@ do-install: > ${APP_HOME}/config/server.xml .endif - @# Configure the port to listen to + @# Configure the port for the HTTP server ${CAT} ${WRKSRC}/config/default-web-site.xml \ - | ${SED} "/port=\"80\"/s//port=\"${LISTEN_PORT}\"/" \ + | ${SED} "/port=\"80\"/s//port=\"${HTTP_PORT}\"/" \ > ${APP_HOME}/config/default-web-site.xml + @# Configure the port for the RMI server + ${CAT} ${WRKSRC}/config/rmi.xml \ + | ${SED} "/<rmi-server>/s//<rmi-server host=\"\[ALL\]\" port=\"${RMI_PORT}\">/" \ + > ${ORION_HOME}/config/rmi.xml + @# Install the control script ${CAT} ${FILESDIR}/${APPCTL_NAME} \ | ${SED} "/%%PORTNAME%%/s//${PORTNAME}/" \ |