+++ /dev/null
-#bootstrap properties for the repository startup servlet.
-#Tue Sep 09 15:17:37 CEST 2008
-java.naming.factory.initial=org.apache.jackrabbit.core.jndi.provider.DummyInitialContextFactory
-repository.home=jackrabbit
-rmi.enabled=true
-repository.config=jackrabbit/repository.xml
-repository.name=jackrabbit.repository
-rmi.host=193.48.120.93
-java.naming.provider.url=http://www.apache.org/jackrabbit
-jndi.enabled=true
-rmi.port=1111