From 46bd99f826d6b0c0ef500a8c87e254b18f523b7b Mon Sep 17 00:00:00 2001 From: Jan Bartel Date: Thu, 18 Jan 2024 11:44:59 +1100 Subject: [PATCH] Issue #11280 update ee10 osgi embedded xml files --- .../jettyhome/etc/jetty-deploy.xml | 2 +- .../jettyhome/etc/jetty-http.xml | 2 +- .../jettyhome/etc/jetty.xml | 49 +++++++------------ 3 files changed, 21 insertions(+), 32 deletions(-) diff --git a/jetty-ee10/jetty-ee10-osgi/jetty-ee10-osgi-boot/jettyhome/etc/jetty-deploy.xml b/jetty-ee10/jetty-ee10-osgi/jetty-ee10-osgi-boot/jettyhome/etc/jetty-deploy.xml index 88fc1a79e598..e630c9a766e1 100644 --- a/jetty-ee10/jetty-ee10-osgi/jetty-ee10-osgi-boot/jettyhome/etc/jetty-deploy.xml +++ b/jetty-ee10/jetty-ee10-osgi/jetty-ee10-osgi-boot/jettyhome/etc/jetty-deploy.xml @@ -1,5 +1,5 @@ - + diff --git a/jetty-ee10/jetty-ee10-osgi/jetty-ee10-osgi-boot/jettyhome/etc/jetty-http.xml b/jetty-ee10/jetty-ee10-osgi/jetty-ee10-osgi-boot/jettyhome/etc/jetty-http.xml index bbd9ab19ed56..7d629e9a6cd3 100644 --- a/jetty-ee10/jetty-ee10-osgi/jetty-ee10-osgi-boot/jettyhome/etc/jetty-http.xml +++ b/jetty-ee10/jetty-ee10-osgi/jetty-ee10-osgi-boot/jettyhome/etc/jetty-http.xml @@ -1,5 +1,5 @@ - + diff --git a/jetty-ee10/jetty-ee10-osgi/jetty-ee10-osgi-boot/jettyhome/etc/jetty.xml b/jetty-ee10/jetty-ee10-osgi/jetty-ee10-osgi-boot/jettyhome/etc/jetty.xml index 5d006b44c9af..ed1e4f3433e4 100644 --- a/jetty-ee10/jetty-ee10-osgi/jetty-ee10-osgi-boot/jettyhome/etc/jetty.xml +++ b/jetty-ee10/jetty-ee10-osgi/jetty-ee10-osgi-boot/jettyhome/etc/jetty.xml @@ -1,5 +1,5 @@ - + @@ -24,45 +24,34 @@ - - - - - - - - - - - - + - - - - - - - - - - - - - + + + + + + + + + + + + + + - + - - - + + java.naming.factory.initial