301
|
1 <!DOCTYPE web-app
|
|
2 PUBLIC "-//Sun Microsystems, Inc.//DTD Web Application 2.3//EN"
|
|
3 "http://java.sun.com/dtd/web-app_2_3.dtd">
|
|
4
|
|
5 <web-app>
|
|
6 <!-- General description of your web application -->
|
|
7 <display-name>
|
|
8 digilib
|
|
9 </display-name>
|
|
10 <description>
|
|
11 This is the web frontend of the Digital Document Library.
|
|
12 </description>
|
|
13 <!-- The Initaliser servlet -->
|
|
14 <servlet>
|
|
15 <servlet-name>
|
|
16 Initialiser
|
|
17 </servlet-name>
|
|
18 <description>
|
|
19 The inialisation servlet (must run first).
|
|
20 </description>
|
|
21 <servlet-class>
|
|
22 digilib.servlet.Initialiser
|
|
23 </servlet-class>
|
|
24 <!-- Load this servlet at server startup time -->
|
|
25 <load-on-startup>
|
|
26 1
|
|
27 </load-on-startup>
|
|
28 </servlet>
|
|
29 <!-- The Scaler servlet -->
|
|
30 <servlet>
|
|
31 <servlet-name>
|
|
32 Scaler
|
|
33 </servlet-name>
|
|
34 <description>
|
|
35 The servlet to scale the digilib images.
|
|
36 </description>
|
|
37 <servlet-class>
|
|
38 digilib.servlet.Scaler
|
|
39 </servlet-class>
|
|
40 <!-- Load this servlet at server startup time -->
|
|
41 <load-on-startup>
|
|
42 5
|
|
43 </load-on-startup>
|
|
44 </servlet>
|
|
45 <!-- The Texter servlet -->
|
|
46 <servlet>
|
|
47 <servlet-name>
|
|
48 Texter
|
|
49 </servlet-name>
|
|
50 <description>
|
|
51 The servlet for text.
|
|
52 </description>
|
|
53 <servlet-class>
|
|
54 digilib.servlet.Texter
|
|
55 </servlet-class>
|
|
56 </servlet>
|
|
57 <!-- The Raster servlet -->
|
|
58 <servlet>
|
|
59 <servlet-name>
|
|
60 Raster
|
|
61 </servlet-name>
|
|
62 <description>
|
|
63 The servlet for rastered SVG.
|
|
64 </description>
|
|
65 <servlet-class>
|
|
66 digilib.servlet.Raster
|
|
67 </servlet-class>
|
|
68 </servlet>
|
|
69 <!-- The Mapper servlet -->
|
|
70 <servlet>
|
|
71 <servlet-name>
|
|
72 Mapper
|
|
73 </servlet-name>
|
|
74 <description>
|
|
75 The servlet to create image maps.
|
|
76 </description>
|
|
77 <servlet-class>
|
|
78 digilib.servlet.Mapper
|
|
79 </servlet-class>
|
|
80 </servlet>
|
|
81 <!-- The Relato servlet -->
|
|
82 <servlet>
|
|
83 <servlet-name>
|
|
84 Relato
|
|
85 </servlet-name>
|
|
86 <description>
|
|
87 The relato servlet
|
|
88 </description>
|
|
89 <servlet-class>
|
|
90 Relato
|
|
91 </servlet-class>
|
|
92 </servlet>
|
|
93 <!-- We want to mess around with the default JSP servlet... -->
|
|
94 <servlet>
|
|
95 <servlet-name>
|
|
96 doc-jsp
|
|
97 </servlet-name>
|
|
98 <servlet-class>
|
|
99 org.apache.jasper.servlet.JspServlet
|
|
100 </servlet-class>
|
|
101 <!-- parameters to the JSP servlet -->
|
|
102 <init-param>
|
|
103 <param-name>
|
|
104 logVerbosityLevel
|
|
105 </param-name>
|
|
106 <param-value>
|
|
107 WARNING
|
|
108 </param-value>
|
|
109 </init-param>
|
|
110 <load-on-startup>
|
|
111 3
|
|
112 </load-on-startup>
|
|
113 </servlet>
|
|
114 <!-- The mapping for the Scaler servlet -->
|
|
115 <servlet-mapping>
|
|
116 <servlet-name>
|
|
117 Scaler
|
|
118 </servlet-name>
|
|
119 <url-pattern>
|
|
120 /servlet/Scaler/*
|
|
121 </url-pattern>
|
|
122 </servlet-mapping>
|
|
123 <servlet-mapping>
|
|
124 <servlet-name>
|
|
125 Scaler
|
|
126 </servlet-name>
|
|
127 <url-pattern>
|
|
128 /authenticated/servlet/Scaler/*
|
|
129 </url-pattern>
|
|
130 </servlet-mapping>
|
|
131 <!-- The mapping for the Texter servlet -->
|
|
132 <servlet-mapping>
|
|
133 <servlet-name>
|
|
134 Texter
|
|
135 </servlet-name>
|
|
136 <url-pattern>
|
|
137 /servlet/Texter/*
|
|
138 </url-pattern>
|
|
139 </servlet-mapping>
|
|
140 <servlet-mapping>
|
|
141 <servlet-name>
|
|
142 Texter
|
|
143 </servlet-name>
|
|
144 <url-pattern>
|
|
145 /authenticated/servlet/Texter/*
|
|
146 </url-pattern>
|
|
147 </servlet-mapping>
|
|
148 <!-- The mapping for the Raster servlet -->
|
|
149 <servlet-mapping>
|
|
150 <servlet-name>
|
|
151 Raster
|
|
152 </servlet-name>
|
|
153 <url-pattern>
|
|
154 /servlet/Raster/*
|
|
155 </url-pattern>
|
|
156 </servlet-mapping>
|
|
157 <servlet-mapping>
|
|
158 <servlet-name>
|
|
159 Raster
|
|
160 </servlet-name>
|
|
161 <url-pattern>
|
|
162 /authenticated/servlet/Raster/*
|
|
163 </url-pattern>
|
|
164 </servlet-mapping>
|
|
165 <!-- The mapping for the Mapper servlet -->
|
|
166 <servlet-mapping>
|
|
167 <servlet-name>
|
|
168 Mapper
|
|
169 </servlet-name>
|
|
170 <url-pattern>
|
|
171 /servlet/Mapper/*
|
|
172 </url-pattern>
|
|
173 </servlet-mapping>
|
|
174 <servlet-mapping>
|
|
175 <servlet-name>
|
|
176 Mapper
|
|
177 </servlet-name>
|
|
178 <url-pattern>
|
|
179 /authenticated/servlet/Mapper/*
|
|
180 </url-pattern>
|
|
181 </servlet-mapping>
|
|
182 <!-- The mapping for the Relato servlet -->
|
|
183 <servlet-mapping>
|
|
184 <servlet-name>
|
|
185 Relato
|
|
186 </servlet-name>
|
|
187 <url-pattern>
|
|
188 /Relato
|
|
189 </url-pattern>
|
|
190 </servlet-mapping>
|
|
191 <!-- The mapping for the JSP servlet -->
|
|
192 <servlet-mapping>
|
|
193 <servlet-name>
|
|
194 doc-jsp
|
|
195 </servlet-name>
|
|
196 <url-pattern>
|
|
197 *.jsp
|
|
198 </url-pattern>
|
|
199 </servlet-mapping>
|
|
200 <!-- region for authenticated access -->
|
|
201 <security-constraint>
|
|
202 <web-resource-collection>
|
|
203 <web-resource-name>
|
|
204 Authenticated Digilib
|
|
205 </web-resource-name>
|
|
206 <url-pattern>
|
|
207 /authenticated/*
|
|
208 </url-pattern>
|
|
209 </web-resource-collection>
|
|
210 <!-- we need a default user -->
|
|
211 <auth-constraint>
|
|
212 <role-name>
|
|
213 user
|
|
214 </role-name>
|
|
215 </auth-constraint>
|
|
216 </security-constraint>
|
|
217 <login-config>
|
|
218 <!--
|
|
219 <auth-method>BASIC</auth-method>
|
|
220 <realm-name>digilib</realm-name>
|
|
221 -->
|
|
222 <auth-method>
|
|
223 FORM
|
|
224 </auth-method>
|
|
225 <form-login-config>
|
|
226 <form-login-page>
|
|
227 /digilib-login.html
|
|
228 </form-login-page>
|
|
229 <form-error-page>
|
|
230 /digilib-fail.html
|
|
231 </form-error-page>
|
|
232 </form-login-config>
|
|
233 </login-config>
|
|
234 </web-app>
|