1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
<?xml version="1.0" encoding="ISO-8859-1"?>
<!DOCTYPE web-app PUBLIC "-//Sun Microsystems, Inc.//DTD Web Application 2.3//EN" "http://java.sun.com/dtd/web-app_2_3.dtd">
<web-app>
<!-- this servlet is just a hook into the web app lifecycle so
we can do some init and destroy logic
it doesn't actually serve any resources
-->
<servlet>
<servlet-name>InitializationServlet</servlet-name>
<servlet-class>org.jabsorb.ext.InitializationServlet</servlet-class>
<load-on-startup>1</load-on-startup>
</servlet>
<servlet>
<servlet-name>JSONRPCServlet</servlet-name>
<servlet-class>org.jabsorb.JSONRPCServlet</servlet-class>
<!--
the gzip_threshold indicates the response size at which the servlet will attempt to gzip the response
if it can.
Set this to -1 if you want to disable gzip compression for some reason,
or if you have another filter or other mechanism to handle gzipping for you.
Set this to 0 to attempt to gzip all responses from this servlet.
otherwise, set it to the minimum response size at which gzip compression is attempted.
note: if the browser making the request does not accept gzip compressed content,
or the result of gzipping would cause the response size to be larger (this could happen
with very small responses) then the content will be returned without gzipping regardless
of this setting, so it is very reasonable idea to set this to 0 for maximum bandwidth
savings, at the (very minor) expense of having the server attempt to gzip all responses.
-->
<init-param>
<param-name>gzip_threshold</param-name>
<param-value>200</param-value>
</init-param>
</servlet>
<servlet-mapping>
<servlet-name>JSONRPCServlet</servlet-name>
<url-pattern>/JSON-RPC</url-pattern>
</servlet-mapping>
</web-app>
|
