Mercurial > hg > digilib-old
annotate client/digitallibrary/WEB-INF/web.xml @ 362:7b189f1b8954
fixed cast error
author | hertzhaft |
---|---|
date | Tue, 06 Dec 2005 18:52:18 +0100 |
parents | 8aab13acfe7a |
children | e758a49258e8 |
rev | line source |
---|---|
20 | 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> | |
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
6 <!-- General description of your web application --> |
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
7 <display-name> |
58 | 8 digilib |
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
9 </display-name> |
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
10 <description> |
58 | 11 This is the web frontend of the Digital Document Library. |
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
12 </description> |
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
13 <!-- The Initaliser servlet --> |
221 | 14 <servlet> |
15 <servlet-name> | |
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
16 Initialiser |
221 | 17 </servlet-name> |
18 <description> | |
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
19 The inialisation servlet (must run first). |
221 | 20 </description> |
21 <servlet-class> | |
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
22 digilib.servlet.Initialiser |
221 | 23 </servlet-class> |
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
24 <!-- Load this servlet at server startup time --> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
25 <load-on-startup> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
26 1 |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
27 </load-on-startup> |
221 | 28 </servlet> |
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
29 <!-- The Scaler servlet --> |
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
30 <servlet> |
58 | 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> | |
158 | 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> | |
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
56 </servlet> |
190 | 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> | |
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
68 </servlet> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
69 <!-- The Mapper servlet --> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
70 <servlet> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
71 <servlet-name> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
72 Mapper |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
73 </servlet-name> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
74 <description> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
75 The servlet to create image maps. |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
76 </description> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
77 <servlet-class> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
78 digilib.servlet.Mapper |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
79 </servlet-class> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
80 </servlet> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
81 <!-- The Relato servlet --> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
82 <servlet> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
83 <servlet-name> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
84 Relato |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
85 </servlet-name> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
86 <description> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
87 The relato servlet |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
88 </description> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
89 <servlet-class> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
90 Relato |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
91 </servlet-class> |
190 | 92 </servlet> |
118 | 93 <!-- We want to mess around with the default JSP servlet... --> |
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
94 <servlet> |
58 | 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> | |
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
113 </servlet> |
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
114 <!-- The mapping for the Scaler servlet --> |
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
115 <servlet-mapping> |
58 | 116 <servlet-name> |
117 Scaler | |
118 </servlet-name> | |
119 <url-pattern> | |
120 /servlet/Scaler/* | |
121 </url-pattern> | |
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
122 </servlet-mapping> |
118 | 123 <servlet-mapping> |
124 <servlet-name> | |
125 Scaler | |
126 </servlet-name> | |
127 <url-pattern> | |
128 /authenticated/servlet/Scaler/* | |
129 </url-pattern> | |
130 </servlet-mapping> | |
158 | 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> | |
190 | 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> | |
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
165 <!-- The mapping for the Mapper servlet --> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
166 <servlet-mapping> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
167 <servlet-name> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
168 Mapper |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
169 </servlet-name> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
170 <url-pattern> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
171 /servlet/Mapper/* |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
172 </url-pattern> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
173 </servlet-mapping> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
174 <servlet-mapping> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
175 <servlet-name> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
176 Mapper |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
177 </servlet-name> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
178 <url-pattern> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
179 /authenticated/servlet/Mapper/* |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
180 </url-pattern> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
181 </servlet-mapping> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
182 <!-- The mapping for the Relato servlet --> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
183 <servlet-mapping> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
184 <servlet-name> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
185 Relato |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
186 </servlet-name> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
187 <url-pattern> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
188 /Relato |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
189 </url-pattern> |
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
190 </servlet-mapping> |
158 | 191 <!-- The mapping for the JSP servlet --> |
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
192 <servlet-mapping> |
58 | 193 <servlet-name> |
194 doc-jsp | |
195 </servlet-name> | |
196 <url-pattern> | |
197 *.jsp | |
198 </url-pattern> | |
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
199 </servlet-mapping> |
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
200 <!-- region for authenticated access --> |
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
201 <security-constraint> |
58 | 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> | |
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
216 </security-constraint> |
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
217 <login-config> |
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
218 <!-- |
58 | 219 <auth-method>BASIC</auth-method> |
220 <realm-name>digilib</realm-name> | |
118 | 221 --> |
58 | 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> | |
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
233 </login-config> |
20 | 234 </web-app> |