2014-03-10 00:23:08 -04:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
2019-06-10 05:41:47 -04:00
|
|
|
<!DOCTYPE Configure PUBLIC "-//Jetty//Configure//EN" "https://www.eclipse.org/jetty/configure_9_3.dtd">
|
2009-11-08 20:20:48 -05:00
|
|
|
<Configure class="org.eclipse.jetty.servlet.ServletContextHandler">
|
2016-01-05 05:30:38 -05:00
|
|
|
<!-- this configures the servlet session manager -->
|
2010-09-14 21:06:44 -04:00
|
|
|
<Set name="SessionHandler">
|
|
|
|
<New class="org.eclipse.jetty.server.session.SessionHandler"/>
|
|
|
|
</Set>
|
2016-01-05 05:30:38 -05:00
|
|
|
<!-- this servlet provides the OSGi HTTP Service once it is initialized -->
|
2009-11-08 20:20:48 -05:00
|
|
|
<Call name="addServlet">
|
2011-05-03 03:34:18 -04:00
|
|
|
<Arg>org.eclipse.equinox.http.servlet.HttpServiceServlet</Arg>
|
2009-11-08 20:20:48 -05:00
|
|
|
<Arg>/*</Arg>
|
2012-10-06 05:26:14 -04:00
|
|
|
<Set name="InitOrder">1</Set>
|
2009-11-08 20:20:48 -05:00
|
|
|
</Call>
|
2016-01-05 05:30:38 -05:00
|
|
|
<!-- custom pluggable error handler -->
|
2011-05-03 03:34:18 -04:00
|
|
|
<Set name="ErrorHandler">
|
|
|
|
<New class="org.eclipse.jetty.osgi.httpservice.HttpServiceErrorPageErrorHandler"/>
|
|
|
|
</Set>
|
2011-07-07 04:18:24 -04:00
|
|
|
</Configure>
|