2023-04-12 13:35:54 +02:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
|
<!DOCTYPE Configure PUBLIC "-//Jetty//Configure//EN" "https://www.eclipse.org/jetty/configure_10_0.dtd">
|
2015-03-11 00:35:42 +01:00
|
|
|
<Configure class="org.eclipse.jetty.webapp.WebAppContext">
|
|
|
|
|
<Set name="contextPath">/</Set>
|
|
|
|
|
<Set name="war"><SystemProperty name="jetty.data" default="."/>/webapps/docs.war</Set>
|
|
|
|
|
|
|
|
|
|
<Call class="java.lang.System" name="setProperty">
|
|
|
|
|
<Arg>docs.home</Arg>
|
2015-03-11 14:31:10 +01:00
|
|
|
<Arg>/data</Arg>
|
2015-03-11 00:35:42 +01:00
|
|
|
</Call>
|
|
|
|
|
</Configure>
|
