Attachment 587736 Details for Bug 826551 – Allow to override JETTY_PORT in /etc/jetty/jetty.conf

[patch] Allow to override JETTY_PORT in /etc/jetty/jetty.conf

0011-Allow-to-override-the-default-JETTY_PORT-in-etc-jett.patch (text/plain), 1.03 KB, created by Nicolas Chauvet (kwizart) on 2012-05-30 13:44:18 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Nicolas Chauvet (kwizart)

Created: 2012-05-30 13:44:18 UTC

Size: 1.03 KB

patch

obsolete

>From 9518e83b1276557417f453ed6575373e7efe4a96 Mon Sep 17 00:00:00 2001
>From: Nicolas Chauvet <kwizart@gmail.com>
>Date: Wed, 30 May 2012 15:18:22 +0200
>Subject: [PATCH 11/11] Allow to override the default JETTY_PORT in
> /etc/jetty/jetty.conf
>
>---
> jetty.init |    6 +++---
> 1 files changed, 3 insertions(+), 3 deletions(-)
>
>diff --git a/jetty.init b/jetty.init
>index 58e5664..2b9957c 100644
>--- a/jetty.init
>+++ b/jetty.init
>@@ -73,10 +73,10 @@ start() {
> #	[ -x ${JETTY_HOME}/ext ] &&
> #	  	rebuild-jar-repository -s ${JETTY_HOME}/ext
> 
>-        if [ -x /etc/rc.d/init.d/functions ]; then
>-                daemon --user $JETTY_USER JETTY_PID=$JETTY_PID $JETTY_SCRIPT
>+        if [ -f /etc/rc.d/init.d/functions ]; then
>+                daemon --user $JETTY_USER JETTY_PID=$JETTY_PID JETTY_PORT=$JETTY_PORT $JETTY_SCRIPT
>         else
>-                su - $JETTY_USER -c "JETTY_PID=$JETTY_PID $JETTY_SCRIPT"
>+                su - $JETTY_USER -c "JETTY_PID=$JETTY_PID JETTY_PORT=$JETTY_PORT $JETTY_SCRIPT"
>         fi
> 
>         RETVAL=$?
>-- 
>1.7.7.6
>

Actions: View | Diff

Attachments on bug 826551: 587736