Mercurial > hg > digilib

annotate client/digitallibrary/WEB-INF/web.xml @ 742:2b9a172e2dfc jquery

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clean up of web.xml (not sure about authentication roles)
author robcast
date Sat, 05 Feb 2011 15:59:31 +0100
parents 53b768f418aa
children 755848b96fc1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
17
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>
57
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
6 <!-- General description of your web application -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
7 <display-name>
55
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
8 digilib
57
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
9 </display-name>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
10 <description>
55
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
11 This is the web frontend of the Digital Document Library.
57
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
12 </description>
303
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
13 <!-- The Initaliser servlet -->
217
90ad1ae9cdba new relato import
luginbue
parents: 186
diff changeset
14 <servlet>
90ad1ae9cdba new relato import
luginbue
parents: 186
diff changeset
15 <servlet-name>
303
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
16 Initialiser
217
90ad1ae9cdba new relato import
luginbue
parents: 186
diff changeset
17 </servlet-name>
90ad1ae9cdba new relato import
luginbue
parents: 186
diff changeset
18 <description>
303
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
19 The inialisation servlet (must run first).
217
90ad1ae9cdba new relato import
luginbue
parents: 186
diff changeset
20 </description>
90ad1ae9cdba new relato import
luginbue
parents: 186
diff changeset
21 <servlet-class>
303
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
22 digilib.servlet.Initialiser
217
90ad1ae9cdba new relato import
luginbue
parents: 186
diff changeset
23 </servlet-class>
303
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
24 <!-- Load this servlet at server startup time -->
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
25 <load-on-startup>
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
26 1
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
27 </load-on-startup>
217
90ad1ae9cdba new relato import
luginbue
parents: 186
diff changeset
28 </servlet>
57
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
29 <!-- The Scaler servlet -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
30 <servlet>
55
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
31 <servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
32 Scaler
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
33 </servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
34 <description>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
35 The servlet to scale the digilib images.
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
36 </description>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
37 <servlet-class>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
38 digilib.servlet.Scaler
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
39 </servlet-class>
154
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
40 <!-- Load this servlet at server startup time -->
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
41 <load-on-startup>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
42 5
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
43 </load-on-startup>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
44 </servlet>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
45 <!-- The Texter servlet -->
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
46 <servlet>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
47 <servlet-name>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
48 Texter
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
49 </servlet-name>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
50 <description>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
51 The servlet for text.
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
52 </description>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
53 <servlet-class>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
54 digilib.servlet.Texter
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
55 </servlet-class>
57
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
56 </servlet>
526
60ee5a907fa2 clean up
robcast
parents: 524
diff changeset
57 <!-- The PDFCache servlet -->
303
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
58 <servlet>
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
59 <servlet-name>
526
60ee5a907fa2 clean up
robcast
parents: 524
diff changeset
60 PDFCache
303
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
61 </servlet-name>
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
62 <description>
526
60ee5a907fa2 clean up
robcast
parents: 524
diff changeset
63 The servlet for PDF.
303
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
64 </description>
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
65 <servlet-class>
526
60ee5a907fa2 clean up
robcast
parents: 524
diff changeset
66 digilib.servlet.PDFCache
303
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
67 </servlet-class>
186
ff93d7dd1910 Added mapping for Raster servlet
robcast
parents: 154
diff changeset
68 </servlet>
57
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
69 <!-- The mapping for the Scaler servlet -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
70 <servlet-mapping>
55
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
71 <servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
72 Scaler
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
73 </servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
74 <url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
75 /servlet/Scaler/*
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
76 </url-pattern>
57
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
77 </servlet-mapping>
114
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
78 <servlet-mapping>
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
79 <servlet-name>
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
80 Scaler
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
81 </servlet-name>
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
82 <url-pattern>
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
83 /authenticated/servlet/Scaler/*
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
84 </url-pattern>
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
85 </servlet-mapping>
154
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
86 <!-- The mapping for the Texter servlet -->
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
87 <servlet-mapping>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
88 <servlet-name>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
89 Texter
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
90 </servlet-name>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
91 <url-pattern>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
92 /servlet/Texter/*
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
93 </url-pattern>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
94 </servlet-mapping>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
95 <servlet-mapping>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
96 <servlet-name>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
97 Texter
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
98 </servlet-name>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
99 <url-pattern>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
100 /authenticated/servlet/Texter/*
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
101 </url-pattern>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
102 </servlet-mapping>
526
60ee5a907fa2 clean up
robcast
parents: 524
diff changeset
103 <!-- The mapping for the Texter servlet -->
186
ff93d7dd1910 Added mapping for Raster servlet
robcast
parents: 154
diff changeset
104 <servlet-mapping>
ff93d7dd1910 Added mapping for Raster servlet
robcast
parents: 154
diff changeset
105 <servlet-name>
526
60ee5a907fa2 clean up
robcast
parents: 524
diff changeset
106 PDFCache
186
ff93d7dd1910 Added mapping for Raster servlet
robcast
parents: 154
diff changeset
107 </servlet-name>
ff93d7dd1910 Added mapping for Raster servlet
robcast
parents: 154
diff changeset
108 <url-pattern>
526
60ee5a907fa2 clean up
robcast
parents: 524
diff changeset
109 /servlet/PDFCache/*
186
ff93d7dd1910 Added mapping for Raster servlet
robcast
parents: 154
diff changeset
110 </url-pattern>
ff93d7dd1910 Added mapping for Raster servlet
robcast
parents: 154
diff changeset
111 </servlet-mapping>
ff93d7dd1910 Added mapping for Raster servlet
robcast
parents: 154
diff changeset
112 <servlet-mapping>
ff93d7dd1910 Added mapping for Raster servlet
robcast
parents: 154
diff changeset
113 <servlet-name>
526
60ee5a907fa2 clean up
robcast
parents: 524
diff changeset
114 PDFCache
303
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
115 </servlet-name>
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
116 <url-pattern>
526
60ee5a907fa2 clean up
robcast
parents: 524
diff changeset
117 /authenticated/servlet/PDFCache/*
303
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
118 </url-pattern>
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
119 </servlet-mapping>
57
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
120 <!-- region for authenticated access -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
121 <security-constraint>
55
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
122 <web-resource-collection>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
123 <web-resource-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
124 Authenticated Digilib
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
125 </web-resource-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
126 <url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
127 /authenticated/*
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
128 </url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
129 </web-resource-collection>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
130 <!-- we need a default user -->
742
2b9a172e2dfc clean up of web.xml (not sure about authentication roles)
robcast
parents: 532
diff changeset
131 <!-- <auth-constraint>
55
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
132 <role-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
133 user
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
134 </role-name>
742
2b9a172e2dfc clean up of web.xml (not sure about authentication roles)
robcast
parents: 532
diff changeset
135 </auth-constraint> -->
57
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
136 </security-constraint>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
137 <login-config>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
138 <!--
55
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
139 <auth-method>BASIC</auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
140 <realm-name>digilib</realm-name>
114
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
141 -->
55
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
142 <auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
143 FORM
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
144 </auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
145 <form-login-config>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
146 <form-login-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
147 /digilib-login.html
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
148 </form-login-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
149 <form-error-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
150 /digilib-fail.html
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
151 </form-error-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
152 </form-login-config>
57
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
153 </login-config>
17
d407cb901df4 Initial revision
robcast
parents:
diff changeset
154 </web-app>