diff options
author | Hugues Malphettes | 2010-02-23 20:52:46 +0000 |
---|---|---|
committer | Hugues Malphettes | 2010-02-23 20:52:46 +0000 |
commit | f03dce5432eda1c323ab974138586704b740e48a (patch) | |
tree | 87664988dbbe63e84f2b8045f116658b2aa155e6 /jetty-osgi/jetty-osgi-boot/jettyhome | |
parent | 3b6870c4ec73e0b0331eda3717621602b9a759e7 (diff) | |
download | org.eclipse.jetty.project-f03dce5432eda1c323ab974138586704b740e48a.tar.gz org.eclipse.jetty.project-f03dce5432eda1c323ab974138586704b740e48a.tar.xz org.eclipse.jetty.project-f03dce5432eda1c323ab974138586704b740e48a.zip |
cleanup of jndi setup. update the version number to 7.0.2. fix some dependencies
git-svn-id: svn+ssh://dev.eclipse.org/svnroot/rt/org.eclipse.jetty/jetty/trunk@1284 7e9141cc-0065-0410-87d8-b60c137991c4
Diffstat (limited to 'jetty-osgi/jetty-osgi-boot/jettyhome')
-rw-r--r-- | jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty.xml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty.xml b/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty.xml index deeba30734..c4075701f3 100644 --- a/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty.xml +++ b/jetty-osgi/jetty-osgi-boot/jettyhome/etc/jetty.xml @@ -241,5 +241,15 @@ <Set name="sendServerVersion">true</Set> <Set name="sendDateHeader">true</Set> <Set name="gracefulShutdown">1000</Set> + + <!-- jetty-jndi by default --> + <Call class="java.lang.System" name="setProperty"> + <Arg>java.naming.factory.initial</Arg> + <Arg><SystemProperty name="java.naming.factory.initial" default="org.eclipse.jetty.jndi.InitialContextFactory"/></Arg> + </Call> + <Call class="java.lang.System" name="setProperty"> + <Arg>java.naming.factory.url.pkgs</Arg> + <Arg><SystemProperty name="java.naming.factory.url.pkgs" default="org.eclipse.jetty.jndi"/></Arg> + </Call> </Configure> |