Mercurial > hg > digilib-old

annotate client/digitallibrary/WEB-INF/web.xml @ 362:7b189f1b8954

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed cast error
author hertzhaft
date Tue, 06 Dec 2005 18:52:18 +0100
parents 8aab13acfe7a
children e758a49258e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
20
d407cb901df4 Initial revision
robcast
parents:
diff changeset
1 <!DOCTYPE web-app
d407cb901df4 Initial revision
robcast
parents:
diff changeset
2 PUBLIC "-//Sun Microsystems, Inc.//DTD Web Application 2.3//EN"
d407cb901df4 Initial revision
robcast
parents:
diff changeset
3 "http://java.sun.com/dtd/web-app_2_3.dtd">
d407cb901df4 Initial revision
robcast
parents:
diff changeset
4
d407cb901df4 Initial revision
robcast
parents:
diff changeset
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
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
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
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
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
59a2bc922652 new relato import
luginbue
parents: 190
diff changeset
14 <servlet>
59a2bc922652 new relato import
luginbue
parents: 190
diff changeset
15 <servlet-name>
307
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
16 Initialiser
221
59a2bc922652 new relato import
luginbue
parents: 190
diff changeset
17 </servlet-name>
59a2bc922652 new relato import
luginbue
parents: 190
diff changeset
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
59a2bc922652 new relato import
luginbue
parents: 190
diff changeset
20 </description>
59a2bc922652 new relato import
luginbue
parents: 190
diff changeset
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
59a2bc922652 new relato import
luginbue
parents: 190
diff changeset
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
59a2bc922652 new relato import
luginbue
parents: 190
diff changeset
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
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
31 <servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
32 Scaler
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
33 </servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
34 <description>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
35 The servlet to scale the digilib images.
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
36 </description>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
37 <servlet-class>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
38 digilib.servlet.Scaler
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
39 </servlet-class>
158
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
40 <!-- Load this servlet at server startup time -->
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
41 <load-on-startup>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
42 5
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
43 </load-on-startup>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
44 </servlet>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
45 <!-- The Texter servlet -->
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
46 <servlet>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
47 <servlet-name>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
48 Texter
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
49 </servlet-name>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
50 <description>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
51 The servlet for text.
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
52 </description>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
53 <servlet-class>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
54 digilib.servlet.Texter
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
55 </servlet-class>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
56 </servlet>
190
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
57 <!-- The Raster servlet -->
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
58 <servlet>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
59 <servlet-name>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
60 Raster
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
61 </servlet-name>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
62 <description>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
63 The servlet for rastered SVG.
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
64 </description>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
65 <servlet-class>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
66 digilib.servlet.Raster
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
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
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
92 </servlet>
118
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
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
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
95 <servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
96 doc-jsp
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
97 </servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
98 <servlet-class>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
99 org.apache.jasper.servlet.JspServlet
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
100 </servlet-class>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
101 <!-- parameters to the JSP servlet -->
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
102 <init-param>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
103 <param-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
104 logVerbosityLevel
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
105 </param-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
106 <param-value>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
107 WARNING
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
108 </param-value>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
109 </init-param>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
110 <load-on-startup>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
111 3
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
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
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
116 <servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
117 Scaler
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
118 </servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
119 <url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
120 /servlet/Scaler/*
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
121 </url-pattern>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
122 </servlet-mapping>
118
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
123 <servlet-mapping>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
124 <servlet-name>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
125 Scaler
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
126 </servlet-name>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
127 <url-pattern>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
128 /authenticated/servlet/Scaler/*
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
129 </url-pattern>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
130 </servlet-mapping>
158
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
131 <!-- The mapping for the Texter servlet -->
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
132 <servlet-mapping>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
133 <servlet-name>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
134 Texter
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
135 </servlet-name>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
136 <url-pattern>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
137 /servlet/Texter/*
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
138 </url-pattern>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
139 </servlet-mapping>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
140 <servlet-mapping>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
141 <servlet-name>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
142 Texter
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
143 </servlet-name>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
144 <url-pattern>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
145 /authenticated/servlet/Texter/*
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
146 </url-pattern>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
147 </servlet-mapping>
190
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
148 <!-- The mapping for the Raster servlet -->
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
149 <servlet-mapping>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
150 <servlet-name>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
151 Raster
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
152 </servlet-name>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
153 <url-pattern>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
154 /servlet/Raster/*
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
155 </url-pattern>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
156 </servlet-mapping>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
157 <servlet-mapping>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
158 <servlet-name>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
159 Raster
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
160 </servlet-name>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
161 <url-pattern>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
162 /authenticated/servlet/Raster/*
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
163 </url-pattern>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
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
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
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
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
193 <servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
194 doc-jsp
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
195 </servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
196 <url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
197 *.jsp
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
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
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
202 <web-resource-collection>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
203 <web-resource-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
204 Authenticated Digilib
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
205 </web-resource-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
206 <url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
207 /authenticated/*
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
208 </url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
209 </web-resource-collection>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
210 <!-- we need a default user -->
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
211 <auth-constraint>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
212 <role-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
213 user
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
214 </role-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
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
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
219 <auth-method>BASIC</auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
220 <realm-name>digilib</realm-name>
118
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
221 -->
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
222 <auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
223 FORM
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
224 </auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
225 <form-login-config>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
226 <form-login-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
227 /digilib-login.html
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
228 </form-login-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
229 <form-error-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
230 /digilib-fail.html
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
231 </form-error-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
232 </form-login-config>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
233 </login-config>
20
d407cb901df4 Initial revision
robcast
parents:
diff changeset
234 </web-app>