diff options
author | Jan Bartel | 2012-05-10 09:27:58 +0000 |
---|---|---|
committer | Jan Bartel | 2012-05-10 09:27:58 +0000 |
commit | b281b037ddd6fab3aaee65eed98d63965472865f (patch) | |
tree | 83343a3e12f2e3e287deba6c29c3d38fa143e6fd /jetty-osgi/jetty-osgi-boot/jettyhome/etc | |
parent | 9aa5f49df5cc7036cf9cfe6f412273ffbc84b1dd (diff) | |
download | org.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 |