2010-01-24 22:09:50 +01:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
|
|
|
|
<!DOCTYPE web-app
|
|
|
|
PUBLIC "-//Sun Microsystems, Inc.//DTD Web Application 2.2//EN"
|
|
|
|
"http://java.sun.com/j2ee/dtds/web-app_2_2.dtd">
|
|
|
|
|
|
|
|
<web-app>
|
2010-06-05 02:50:18 +02:00
|
|
|
|
|
|
|
<!--+
|
|
|
|
| This forces all the session cookies to default to the root path.
|
|
|
|
| to allow sessions to work even when butterfly is handling
|
|
|
|
| multiple zones.
|
|
|
|
| NOTE: this is jetty-specific, so other web-app servers
|
|
|
|
| might require different parameters.
|
|
|
|
+-->
|
|
|
|
<context-param>
|
|
|
|
<param-name>org.mortbay.jetty.servlet.SessionPath</param-name>
|
|
|
|
<param-value>/</param-value>
|
|
|
|
</context-param>
|
|
|
|
|
2010-01-24 22:09:50 +01:00
|
|
|
<servlet>
|
2010-09-22 20:36:33 +02:00
|
|
|
<servlet-name>refine</servlet-name>
|
2010-09-22 19:46:39 +02:00
|
|
|
<servlet-class>com.google.refine.RefineServlet</servlet-class>
|
2010-09-29 03:50:57 +02:00
|
|
|
<init-param>
|
|
|
|
<param-name>refine.version</param-name>
|
|
|
|
<param-value>$VERSION</param-value>
|
|
|
|
</init-param>
|
|
|
|
<init-param>
|
|
|
|
<param-name>refine.revision</param-name>
|
|
|
|
<param-value>$REVISION</param-value>
|
|
|
|
</init-param>
|
2010-01-24 22:09:50 +01:00
|
|
|
</servlet>
|
|
|
|
|
|
|
|
<servlet-mapping>
|
2010-09-22 20:36:33 +02:00
|
|
|
<servlet-name>refine</servlet-name>
|
2010-06-05 02:50:18 +02:00
|
|
|
<url-pattern>/*</url-pattern>
|
2010-01-24 22:09:50 +01:00
|
|
|
</servlet-mapping>
|
2010-06-05 02:50:18 +02:00
|
|
|
|
2010-07-31 08:51:11 +02:00
|
|
|
<filter>
|
|
|
|
<filter-name>GzipFilter</filter-name>
|
|
|
|
<filter-class>org.mortbay.servlet.GzipFilter</filter-class>
|
|
|
|
<init-param>
|
|
|
|
<param-name>mimeTypes</param-name>
|
|
|
|
<param-value>text/html,text/plain,text/xml,application/xhtml+xml,text/css,text/javascript,application/javascript,application/json,image/svg+xml</param-value>
|
|
|
|
</init-param>
|
|
|
|
</filter>
|
|
|
|
<filter-mapping>
|
|
|
|
<filter-name>GzipFilter</filter-name>
|
|
|
|
<url-pattern>/*</url-pattern>
|
|
|
|
</filter-mapping>
|
2010-01-24 22:09:50 +01:00
|
|
|
</web-app>
|