ports/www/jetty12/files/patch-bin_jetty.sh
Ryan Steinmetz defe5b7640
www/jetty12: New port
Eclipse Jetty provides a highly scalable and memory-efficient web server and
servlet container, supporting many protocols such as HTTP/3,2,1 and WebSocket.
Furthermore, the project offers integrations with many other technologies,
such as:

* Asynchronous HTTP Server
* Standard based Servlet Container
* Web Sockets server
* Asynchronous HTTP Client
* OSGi, JNDI, JMX, JASPI, AJP support
2024-07-04 14:18:22 -04:00

12 lines
346 B
Bash

--- bin/jetty.sh.orig 2024-07-04 15:09:33 UTC
+++ bin/jetty.sh
@@ -313,7 +313,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