ports/www/jetty9/files/patch-bin_jetty.sh
Jason Helfman 0e5a881941 - update to 9.3.8
- address pkg listing to simplify future updates

PR:		208149
Reviewed by:	xmj@
Submitted by:	dharrigan@gmail.com (maintainer)
2016-03-25 15:15:52 +00:00

11 lines
346 B
Bash

--- bin/jetty.sh.orig 2016-03-19 21:43:53 UTC
+++ bin/jetty.sh
@@ -166,7 +166,7 @@ then
ETC=$HOME/etc
fi
-for CONFIG in {/etc,~/etc}/default/${NAME}{,9} $HOME/.${NAME}rc; do
+for CONFIG in {/etc,~/etc}/default/${NAME}{,9} $HOME/.${NAME}rc /usr/local/etc/${NAME}/${NAME}{,9}; do
if [ -f "$CONFIG" ] ; then
readConfig "$CONFIG"
fi