annotate client/digitallibrary/WEB-INF/web.xml @ 636:687447a0e799 jquery

zoomin and -out works now gotopage resets (some) parameters reload takes changed parameters (to put in url) getParamString omits parameters with default values (for shorter urls)
author robcast
date Wed, 19 Jan 2011 20:03:44 +0100
parents 53b768f418aa
children 2b9a172e2dfc
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>
114
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
69 <!-- We want to mess around with the default JSP servlet... -->
57
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
70 <servlet>
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 doc-jsp
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 <servlet-class>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
75 org.apache.jasper.servlet.JspServlet
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
76 </servlet-class>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
77 <!-- parameters to the JSP servlet -->
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
78 <init-param>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
79 <param-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
80 logVerbosityLevel
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
81 </param-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
82 <param-value>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
83 WARNING
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
84 </param-value>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
85 </init-param>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
86 <load-on-startup>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
87 3
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
88 </load-on-startup>
57
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
89 </servlet>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
90 <!-- The mapping for the Scaler servlet -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
91 <servlet-mapping>
55
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
92 <servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
93 Scaler
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
94 </servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
95 <url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
96 /servlet/Scaler/*
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
97 </url-pattern>
57
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
98 </servlet-mapping>
114
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
99 <servlet-mapping>
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
100 <servlet-name>
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
101 Scaler
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
102 </servlet-name>
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
103 <url-pattern>
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
104 /authenticated/servlet/Scaler/*
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
105 </url-pattern>
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
106 </servlet-mapping>
154
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
107 <!-- The mapping for the Texter servlet -->
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
108 <servlet-mapping>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
109 <servlet-name>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
110 Texter
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
111 </servlet-name>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
112 <url-pattern>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
113 /servlet/Texter/*
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
114 </url-pattern>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
115 </servlet-mapping>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
116 <servlet-mapping>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
117 <servlet-name>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
118 Texter
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
119 </servlet-name>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
120 <url-pattern>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
121 /authenticated/servlet/Texter/*
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
122 </url-pattern>
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
123 </servlet-mapping>
526
60ee5a907fa2 clean up
robcast
parents: 524
diff changeset
124 <!-- The mapping for the Texter servlet -->
186
ff93d7dd1910 Added mapping for Raster servlet
robcast
parents: 154
diff changeset
125 <servlet-mapping>
ff93d7dd1910 Added mapping for Raster servlet
robcast
parents: 154
diff changeset
126 <servlet-name>
526
60ee5a907fa2 clean up
robcast
parents: 524
diff changeset
127 PDFCache
186
ff93d7dd1910 Added mapping for Raster servlet
robcast
parents: 154
diff changeset
128 </servlet-name>
ff93d7dd1910 Added mapping for Raster servlet
robcast
parents: 154
diff changeset
129 <url-pattern>
526
60ee5a907fa2 clean up
robcast
parents: 524
diff changeset
130 /servlet/PDFCache/*
186
ff93d7dd1910 Added mapping for Raster servlet
robcast
parents: 154
diff changeset
131 </url-pattern>
ff93d7dd1910 Added mapping for Raster servlet
robcast
parents: 154
diff changeset
132 </servlet-mapping>
ff93d7dd1910 Added mapping for Raster servlet
robcast
parents: 154
diff changeset
133 <servlet-mapping>
ff93d7dd1910 Added mapping for Raster servlet
robcast
parents: 154
diff changeset
134 <servlet-name>
526
60ee5a907fa2 clean up
robcast
parents: 524
diff changeset
135 PDFCache
303
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
136 </servlet-name>
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
137 <url-pattern>
526
60ee5a907fa2 clean up
robcast
parents: 524
diff changeset
138 /authenticated/servlet/PDFCache/*
303
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
139 </url-pattern>
63fd7b1c563d Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 217
diff changeset
140 </servlet-mapping>
154
b9350d4b4b12 added Texter servlet and relative paths
robcast
parents: 114
diff changeset
141 <!-- The mapping for the JSP servlet -->
57
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
142 <servlet-mapping>
55
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
143 <servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
144 doc-jsp
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
145 </servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
146 <url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
147 *.jsp
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
148 </url-pattern>
57
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
149 </servlet-mapping>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
150 <!-- region for authenticated access -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
151 <security-constraint>
55
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
152 <web-resource-collection>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
153 <web-resource-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
154 Authenticated Digilib
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
155 </web-resource-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
156 <url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
157 /authenticated/*
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
158 </url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
159 </web-resource-collection>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
160 <!-- we need a default user -->
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
161 <auth-constraint>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
162 <role-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
163 user
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
164 </role-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
165 </auth-constraint>
57
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
166 </security-constraint>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
167 <login-config>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
168 <!--
55
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
169 <auth-method>BASIC</auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
170 <realm-name>digilib</realm-name>
114
3f8127e83943 *** empty log message ***
robcast
parents: 57
diff changeset
171 -->
55
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
172 <auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
173 FORM
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
174 </auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
175 <form-login-config>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
176 <form-login-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
177 /digilib-login.html
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
178 </form-login-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
179 <form-error-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
180 /digilib-fail.html
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
181 </form-error-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 17
diff changeset
182 </form-login-config>
57
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 55
diff changeset
183 </login-config>
17
d407cb901df4 Initial revision
robcast
parents:
diff changeset
184 </web-app>