annotate client/digitallibrary/WEB-INF/web.xml @ 530:bd6569a95a3c digilibPDF

clean up
author robcast
date Thu, 14 Jan 2010 14:30:30 +0100
parents 85979eda5e63
children e758a49258e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
528
85979eda5e63 clean up
robcast
parents:
diff changeset
1 <!DOCTYPE web-app
85979eda5e63 clean up
robcast
parents:
diff changeset
2 PUBLIC "-//Sun Microsystems, Inc.//DTD Web Application 2.3//EN"
85979eda5e63 clean up
robcast
parents:
diff changeset
3 "http://java.sun.com/dtd/web-app_2_3.dtd">
85979eda5e63 clean up
robcast
parents:
diff changeset
4
85979eda5e63 clean up
robcast
parents:
diff changeset
5 <web-app>
85979eda5e63 clean up
robcast
parents:
diff changeset
6 <!-- General description of your web application -->
85979eda5e63 clean up
robcast
parents:
diff changeset
7 <display-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
8 digilib
85979eda5e63 clean up
robcast
parents:
diff changeset
9 </display-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
10 <description>
85979eda5e63 clean up
robcast
parents:
diff changeset
11 This is the web frontend of the Digital Document Library.
85979eda5e63 clean up
robcast
parents:
diff changeset
12 </description>
85979eda5e63 clean up
robcast
parents:
diff changeset
13 <!-- The Initaliser servlet -->
85979eda5e63 clean up
robcast
parents:
diff changeset
14 <servlet>
85979eda5e63 clean up
robcast
parents:
diff changeset
15 <servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
16 Initialiser
85979eda5e63 clean up
robcast
parents:
diff changeset
17 </servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
18 <description>
85979eda5e63 clean up
robcast
parents:
diff changeset
19 The inialisation servlet (must run first).
85979eda5e63 clean up
robcast
parents:
diff changeset
20 </description>
85979eda5e63 clean up
robcast
parents:
diff changeset
21 <servlet-class>
85979eda5e63 clean up
robcast
parents:
diff changeset
22 digilib.servlet.Initialiser
85979eda5e63 clean up
robcast
parents:
diff changeset
23 </servlet-class>
85979eda5e63 clean up
robcast
parents:
diff changeset
24 <!-- Load this servlet at server startup time -->
85979eda5e63 clean up
robcast
parents:
diff changeset
25 <load-on-startup>
85979eda5e63 clean up
robcast
parents:
diff changeset
26 1
85979eda5e63 clean up
robcast
parents:
diff changeset
27 </load-on-startup>
85979eda5e63 clean up
robcast
parents:
diff changeset
28 </servlet>
85979eda5e63 clean up
robcast
parents:
diff changeset
29 <!-- The Scaler servlet -->
85979eda5e63 clean up
robcast
parents:
diff changeset
30 <servlet>
85979eda5e63 clean up
robcast
parents:
diff changeset
31 <servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
32 Scaler
85979eda5e63 clean up
robcast
parents:
diff changeset
33 </servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
34 <description>
85979eda5e63 clean up
robcast
parents:
diff changeset
35 The servlet to scale the digilib images.
85979eda5e63 clean up
robcast
parents:
diff changeset
36 </description>
85979eda5e63 clean up
robcast
parents:
diff changeset
37 <servlet-class>
85979eda5e63 clean up
robcast
parents:
diff changeset
38 digilib.servlet.Scaler
85979eda5e63 clean up
robcast
parents:
diff changeset
39 </servlet-class>
85979eda5e63 clean up
robcast
parents:
diff changeset
40 <!-- Load this servlet at server startup time -->
85979eda5e63 clean up
robcast
parents:
diff changeset
41 <load-on-startup>
85979eda5e63 clean up
robcast
parents:
diff changeset
42 5
85979eda5e63 clean up
robcast
parents:
diff changeset
43 </load-on-startup>
85979eda5e63 clean up
robcast
parents:
diff changeset
44 </servlet>
85979eda5e63 clean up
robcast
parents:
diff changeset
45 <!-- The Texter servlet -->
85979eda5e63 clean up
robcast
parents:
diff changeset
46 <servlet>
85979eda5e63 clean up
robcast
parents:
diff changeset
47 <servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
48 Texter
85979eda5e63 clean up
robcast
parents:
diff changeset
49 </servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
50 <description>
85979eda5e63 clean up
robcast
parents:
diff changeset
51 The servlet for text.
85979eda5e63 clean up
robcast
parents:
diff changeset
52 </description>
85979eda5e63 clean up
robcast
parents:
diff changeset
53 <servlet-class>
85979eda5e63 clean up
robcast
parents:
diff changeset
54 digilib.servlet.Texter
85979eda5e63 clean up
robcast
parents:
diff changeset
55 </servlet-class>
85979eda5e63 clean up
robcast
parents:
diff changeset
56 </servlet>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
57 <!-- The PDFCache servlet -->
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
58 <servlet>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
59 <servlet-name>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
60 PDFCache
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
61 </servlet-name>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
62 <description>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
63 The servlet for PDF.
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
64 </description>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
65 <servlet-class>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
66 digilib.servlet.PDFCache
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
67 </servlet-class>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
68 </servlet>
528
85979eda5e63 clean up
robcast
parents:
diff changeset
69 <!-- We want to mess around with the default JSP servlet... -->
85979eda5e63 clean up
robcast
parents:
diff changeset
70 <servlet>
85979eda5e63 clean up
robcast
parents:
diff changeset
71 <servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
72 doc-jsp
85979eda5e63 clean up
robcast
parents:
diff changeset
73 </servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
74 <servlet-class>
85979eda5e63 clean up
robcast
parents:
diff changeset
75 org.apache.jasper.servlet.JspServlet
85979eda5e63 clean up
robcast
parents:
diff changeset
76 </servlet-class>
85979eda5e63 clean up
robcast
parents:
diff changeset
77 <!-- parameters to the JSP servlet -->
85979eda5e63 clean up
robcast
parents:
diff changeset
78 <init-param>
85979eda5e63 clean up
robcast
parents:
diff changeset
79 <param-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
80 logVerbosityLevel
85979eda5e63 clean up
robcast
parents:
diff changeset
81 </param-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
82 <param-value>
85979eda5e63 clean up
robcast
parents:
diff changeset
83 WARNING
85979eda5e63 clean up
robcast
parents:
diff changeset
84 </param-value>
85979eda5e63 clean up
robcast
parents:
diff changeset
85 </init-param>
85979eda5e63 clean up
robcast
parents:
diff changeset
86 <load-on-startup>
85979eda5e63 clean up
robcast
parents:
diff changeset
87 3
85979eda5e63 clean up
robcast
parents:
diff changeset
88 </load-on-startup>
85979eda5e63 clean up
robcast
parents:
diff changeset
89 </servlet>
85979eda5e63 clean up
robcast
parents:
diff changeset
90 <!-- The mapping for the Scaler servlet -->
85979eda5e63 clean up
robcast
parents:
diff changeset
91 <servlet-mapping>
85979eda5e63 clean up
robcast
parents:
diff changeset
92 <servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
93 Scaler
85979eda5e63 clean up
robcast
parents:
diff changeset
94 </servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
95 <url-pattern>
85979eda5e63 clean up
robcast
parents:
diff changeset
96 /servlet/Scaler/*
85979eda5e63 clean up
robcast
parents:
diff changeset
97 </url-pattern>
85979eda5e63 clean up
robcast
parents:
diff changeset
98 </servlet-mapping>
85979eda5e63 clean up
robcast
parents:
diff changeset
99 <servlet-mapping>
85979eda5e63 clean up
robcast
parents:
diff changeset
100 <servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
101 Scaler
85979eda5e63 clean up
robcast
parents:
diff changeset
102 </servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
103 <url-pattern>
85979eda5e63 clean up
robcast
parents:
diff changeset
104 /authenticated/servlet/Scaler/*
85979eda5e63 clean up
robcast
parents:
diff changeset
105 </url-pattern>
85979eda5e63 clean up
robcast
parents:
diff changeset
106 </servlet-mapping>
85979eda5e63 clean up
robcast
parents:
diff changeset
107 <!-- The mapping for the Texter servlet -->
85979eda5e63 clean up
robcast
parents:
diff changeset
108 <servlet-mapping>
85979eda5e63 clean up
robcast
parents:
diff changeset
109 <servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
110 Texter
85979eda5e63 clean up
robcast
parents:
diff changeset
111 </servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
112 <url-pattern>
85979eda5e63 clean up
robcast
parents:
diff changeset
113 /servlet/Texter/*
85979eda5e63 clean up
robcast
parents:
diff changeset
114 </url-pattern>
85979eda5e63 clean up
robcast
parents:
diff changeset
115 </servlet-mapping>
85979eda5e63 clean up
robcast
parents:
diff changeset
116 <servlet-mapping>
85979eda5e63 clean up
robcast
parents:
diff changeset
117 <servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
118 Texter
85979eda5e63 clean up
robcast
parents:
diff changeset
119 </servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
120 <url-pattern>
85979eda5e63 clean up
robcast
parents:
diff changeset
121 /authenticated/servlet/Texter/*
85979eda5e63 clean up
robcast
parents:
diff changeset
122 </url-pattern>
85979eda5e63 clean up
robcast
parents:
diff changeset
123 </servlet-mapping>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
124 <!-- The mapping for the Texter servlet -->
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
125 <servlet-mapping>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
126 <servlet-name>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
127 PDFCache
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
128 </servlet-name>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
129 <url-pattern>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
130 /servlet/PDFCache/*
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
131 </url-pattern>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
132 </servlet-mapping>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
133 <servlet-mapping>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
134 <servlet-name>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
135 PDFCache
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
136 </servlet-name>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
137 <url-pattern>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
138 /authenticated/servlet/PDFCache/*
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
139 </url-pattern>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
140 </servlet-mapping>
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
141 <!-- The mapping for the JSP servlet -->
528
85979eda5e63 clean up
robcast
parents:
diff changeset
142 <servlet-mapping>
85979eda5e63 clean up
robcast
parents:
diff changeset
143 <servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
144 doc-jsp
85979eda5e63 clean up
robcast
parents:
diff changeset
145 </servlet-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
146 <url-pattern>
85979eda5e63 clean up
robcast
parents:
diff changeset
147 *.jsp
85979eda5e63 clean up
robcast
parents:
diff changeset
148 </url-pattern>
85979eda5e63 clean up
robcast
parents:
diff changeset
149 </servlet-mapping>
85979eda5e63 clean up
robcast
parents:
diff changeset
150 <!-- region for authenticated access -->
85979eda5e63 clean up
robcast
parents:
diff changeset
151 <security-constraint>
85979eda5e63 clean up
robcast
parents:
diff changeset
152 <web-resource-collection>
85979eda5e63 clean up
robcast
parents:
diff changeset
153 <web-resource-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
154 Authenticated Digilib
85979eda5e63 clean up
robcast
parents:
diff changeset
155 </web-resource-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
156 <url-pattern>
85979eda5e63 clean up
robcast
parents:
diff changeset
157 /authenticated/*
85979eda5e63 clean up
robcast
parents:
diff changeset
158 </url-pattern>
85979eda5e63 clean up
robcast
parents:
diff changeset
159 </web-resource-collection>
85979eda5e63 clean up
robcast
parents:
diff changeset
160 <!-- we need a default user -->
85979eda5e63 clean up
robcast
parents:
diff changeset
161 <auth-constraint>
85979eda5e63 clean up
robcast
parents:
diff changeset
162 <role-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
163 user
85979eda5e63 clean up
robcast
parents:
diff changeset
164 </role-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
165 </auth-constraint>
85979eda5e63 clean up
robcast
parents:
diff changeset
166 </security-constraint>
85979eda5e63 clean up
robcast
parents:
diff changeset
167 <login-config>
85979eda5e63 clean up
robcast
parents:
diff changeset
168 <!--
85979eda5e63 clean up
robcast
parents:
diff changeset
169 <auth-method>BASIC</auth-method>
85979eda5e63 clean up
robcast
parents:
diff changeset
170 <realm-name>digilib</realm-name>
85979eda5e63 clean up
robcast
parents:
diff changeset
171 -->
85979eda5e63 clean up
robcast
parents:
diff changeset
172 <auth-method>
85979eda5e63 clean up
robcast
parents:
diff changeset
173 FORM
85979eda5e63 clean up
robcast
parents:
diff changeset
174 </auth-method>
85979eda5e63 clean up
robcast
parents:
diff changeset
175 <form-login-config>
85979eda5e63 clean up
robcast
parents:
diff changeset
176 <form-login-page>
85979eda5e63 clean up
robcast
parents:
diff changeset
177 /digilib-login.html
85979eda5e63 clean up
robcast
parents:
diff changeset
178 </form-login-page>
85979eda5e63 clean up
robcast
parents:
diff changeset
179 <form-error-page>
85979eda5e63 clean up
robcast
parents:
diff changeset
180 /digilib-fail.html
85979eda5e63 clean up
robcast
parents:
diff changeset
181 </form-error-page>
85979eda5e63 clean up
robcast
parents:
diff changeset
182 </form-login-config>
85979eda5e63 clean up
robcast
parents:
diff changeset
183 </login-config>
85979eda5e63 clean up
robcast
parents:
diff changeset
184 </web-app>