Mercurial > hg > digilib

annotate client/digitallibrary/WEB-INF/web.xml @ 815:b4b7c1618c19 jquery

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
refactored packParams(); new 'keep' marker class
author hertzhaft
date Wed, 23 Feb 2011 01:49:22 +0100
parents 2b9a172e2dfc
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>