Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJan Bartel2012-05-10 09:27:58 +0000
committerJan Bartel2012-05-10 09:27:58 +0000
commitb281b037ddd6fab3aaee65eed98d63965472865f (patch)
tree83343a3e12f2e3e287deba6c29c3d38fa143e6fd /jetty-osgi/jetty-osgi-boot/jettyhome/etc
parent9aa5f49df5cc7036cf9cfe6f412273ffbc84b1dd (diff)
downloadorg.eclipse.jetty.project-b281b037ddd6fab3aaee65eed98d63965472865f.tar.gz
org.eclipse.jetty.project-b281b037ddd6fab3aaee65eed98d63965472865f.tar.xz
org.eclipse.jetty.project-b281b037ddd6fab3aaee65eed98d63965472865f.zip
379015 Use factored jetty xml config files for defaults
Diffstat (limited to 'jetty-osgi/jetty-osgi-boot/jettyhome/etc')
-rw-r--r--jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-deployer.xml (renamed from jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-osgi-deployer-default.xml)0
-rw-r--r--jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-nested.xml (renamed from jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-osgi-nested-default.xml)0
-rw-r--r--jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-selector.xml (renamed from jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-osgi-selector-default.xml)0
-rw-r--r--jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty.xml (renamed from jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-osgi-default.xml)0
4 files changed, 0 insertions, 0 deletions
diff --git a/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-osgi-deployer-default.xml b/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-deployer.xml
index f05b31c8e1..f05b31c8e1 100644
--- a/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-osgi-deployer-default.xml
+++ b/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-deployer.xml
diff --git a/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-osgi-nested-default.xml b/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-nested.xml
index c11cec1192..c11cec1192 100644
--- a/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-osgi-nested-default.xml
+++ b/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-nested.xml
diff --git a/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-osgi-selector-default.xml b/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-selector.xml
index 46ccc85f52..46ccc85f52 100644
--- a/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-osgi-selector-default.xml
+++ b/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-selector.xml
diff --git a/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-osgi-default.xml b/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty.xml
index 30f8ea9d18..30f8ea9d18 100644
--- a/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty-osgi-default.xml
+++ b/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty.xml

Back to the top