Updates to jetty.sh and testing to reduce failures
Backport of #10790 to Jetty 10. + Making sure /etc/default/jetty is populated correctly in the user_change mode + Removing warnings from jetty startup about --start-log-file=... being unrecognized + Adding unique jetty10 identifier to docker image names (helps to keep different jetty versions apart when manually testing) Signed-off-by: Joakim Erdfelt <joakim.erdfelt@gmail.com>
This commit is contained in:
parent
92f62a10f9
commit
31b5518fe3
|
@ -635,13 +635,13 @@ case "$ACTION" in
|
|||
chown "$JETTY_USER" "$JETTY_PID"
|
||||
su - "$JETTY_USER" $SU_SHELL -c "
|
||||
cd \"$JETTY_BASE\"
|
||||
echo ${RUN_ARGS[*]} --start-log-file=\"$JETTY_START_LOG\" | xargs ${JAVA} > /dev/null &
|
||||
echo ${RUN_ARGS[*]} | xargs ${JAVA} > /dev/null &
|
||||
PID=\$!
|
||||
disown \$PID"
|
||||
(( DEBUG )) && echo "Starting: su shell (w/user $JETTY_USER) on PID $PID"
|
||||
else
|
||||
# Startup if not switching users
|
||||
echo ${RUN_ARGS[*]} --start-log-file="${JETTY_START_LOG}" | xargs ${JAVA} > /dev/null &
|
||||
echo ${RUN_ARGS[*]} | xargs ${JAVA} > /dev/null &
|
||||
PID=$!
|
||||
disown $PID
|
||||
(( DEBUG )) && echo "Starting: java command on PID $PID"
|
||||
|
|
|
@ -24,7 +24,7 @@ public class ImageOSAmazonCorretto11 extends ImageOS
|
|||
{
|
||||
public ImageOSAmazonCorretto11()
|
||||
{
|
||||
super("amazoncorretto-jdk11",
|
||||
super("amazoncorretto-jdk11-jetty10",
|
||||
builder ->
|
||||
builder
|
||||
.from("amazoncorretto:11.0.20")
|
||||
|
|
|
@ -22,7 +22,7 @@ public class ImageOSUbuntuJammyJDK17 extends ImageOS
|
|||
{
|
||||
public ImageOSUbuntuJammyJDK17()
|
||||
{
|
||||
super("ubuntu-22.04-jdk17",
|
||||
super("ubuntu-22.04-jdk17-jetty10",
|
||||
builder ->
|
||||
builder
|
||||
.from("ubuntu:22.04")
|
||||
|
|
|
@ -31,7 +31,7 @@ public class ImageUserChange extends ImageFromDSL
|
|||
"useradd --home-dir=${JETTY_BASE} --shell=/bin/bash jetty ; " +
|
||||
"chown jetty:jetty ${JETTY_BASE} ; " +
|
||||
"chmod a+w ${JETTY_BASE} ; " +
|
||||
"echo \"JETTY_USER=jetty\" > /etc/default/jetty") // user change
|
||||
"echo \"JETTY_USER=jetty\" >> /etc/default/jetty") // user change
|
||||
.user("jetty")
|
||||
// Configure Jetty Base
|
||||
.workDir("${JETTY_BASE}")
|
||||
|
|
Loading…
Reference in New Issue