Mercurial > hg > digilib-old

annotate client/digitallibrary/WEB-INF/web.xml @ 749:109cd6fbec49 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 e758a49258e8
children 587c90bc5976
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>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
57 <!-- The PDFCache servlet -->
307
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
58 <servlet>
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
59 <servlet-name>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
60 PDFCache
307
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
61 </servlet-name>
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
62 <description>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
63 The servlet for PDF.
307
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
64 </description>
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
65 <servlet-class>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
66 digilib.servlet.PDFCache
307
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
67 </servlet-class>
190
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
68 </servlet>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
69 <!-- The mapping for the Scaler servlet -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
70 <servlet-mapping>
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
71 <servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
72 Scaler
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
73 </servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
74 <url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
75 /servlet/Scaler/*
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
76 </url-pattern>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
77 </servlet-mapping>
118
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
78 <servlet-mapping>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
79 <servlet-name>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
80 Scaler
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
81 </servlet-name>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
82 <url-pattern>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
83 /authenticated/servlet/Scaler/*
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
84 </url-pattern>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
85 </servlet-mapping>
158
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
86 <!-- The mapping for the Texter servlet -->
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
87 <servlet-mapping>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
88 <servlet-name>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
89 Texter
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
90 </servlet-name>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
91 <url-pattern>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
92 /servlet/Texter/*
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
93 </url-pattern>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
94 </servlet-mapping>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
95 <servlet-mapping>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
96 <servlet-name>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
97 Texter
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
98 </servlet-name>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
99 <url-pattern>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
100 /authenticated/servlet/Texter/*
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
101 </url-pattern>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
102 </servlet-mapping>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
103 <!-- The mapping for the Texter servlet -->
190
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
104 <servlet-mapping>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
105 <servlet-name>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
106 PDFCache
190
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
107 </servlet-name>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
108 <url-pattern>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
109 /servlet/PDFCache/*
190
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
110 </url-pattern>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
111 </servlet-mapping>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
112 <servlet-mapping>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
113 <servlet-name>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
114 PDFCache
307
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
115 </servlet-name>
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
116 <url-pattern>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
117 /authenticated/servlet/PDFCache/*
307
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
118 </url-pattern>
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
119 </servlet-mapping>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
120 <!-- region for authenticated access -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
121 <security-constraint>
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
122 <web-resource-collection>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
123 <web-resource-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
124 Authenticated Digilib
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
125 </web-resource-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
126 <url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
127 /authenticated/*
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
128 </url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
129 </web-resource-collection>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
130 <!-- we need a default user -->
749
109cd6fbec49 clean up of web.xml (not sure about authentication roles)
robcast
parents: 536
diff changeset
131 <!-- <auth-constraint>
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
132 <role-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
133 user
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
134 </role-name>
749
109cd6fbec49 clean up of web.xml (not sure about authentication roles)
robcast
parents: 536
diff changeset
135 </auth-constraint> -->
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
136 </security-constraint>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
137 <login-config>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
138 <!--
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
139 <auth-method>BASIC</auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
140 <realm-name>digilib</realm-name>
118
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
141 -->
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
142 <auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
143 FORM
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
144 </auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
145 <form-login-config>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
146 <form-login-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
147 /digilib-login.html
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
148 </form-login-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
149 <form-error-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
150 /digilib-fail.html
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
151 </form-error-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
152 </form-login-config>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
153 </login-config>
20
d407cb901df4 Initial revision
robcast
parents:
diff changeset
154 </web-app>