annotate client/digitallibrary/WEB-INF/web.xml @ 72:300d5ba8b33b

New servlet version 1.5b. Mostly cleanup. Global parameters for digilib now in DigilibConfiguration, per request parameters are now all in DigilibRequest. The DocuImage implementation can be selected by the configuration docuimage-class. Pixel-by-pixel view implemented with "mo=clip".
author robcast
date Fri, 24 Jan 2003 21:40:59 +0100
parents 58d23f512c80
children 75f5fd41f76e
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>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
13 <!-- The Scaler servlet -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
14 <servlet>
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
15 <servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
16 Scaler
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
17 </servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
18 <description>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
19 The servlet to scale the digilib images.
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
20 </description>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
21 <servlet-class>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
22 digilib.servlet.Scaler
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
23 </servlet-class>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
24 <!-- parameters to the servlet -->
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
25 <init-param>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
26 <param-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
27 config-file
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
28 </param-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
29 <param-value>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
30 /docuserver/www/digitallibrary/WEB-INF/digilib-config.xml
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
31 </param-value>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
32 </init-param>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
33 <!-- Load this servlet at server startup time -->
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
34 <load-on-startup>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
35 5
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
36 </load-on-startup>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
37 </servlet>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
38 <!-- We want to finger around with the default JSP servlet... -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
39 <servlet>
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
40 <servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
41 doc-jsp
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
42 </servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
43 <servlet-class>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
44 org.apache.jasper.servlet.JspServlet
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
45 </servlet-class>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
46 <!-- parameters to the JSP servlet -->
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
47 <init-param>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
48 <param-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
49 logVerbosityLevel
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
50 </param-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
51 <param-value>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
52 WARNING
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
53 </param-value>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
54 </init-param>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
55 <init-param>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
56 <param-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
57 config-file
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
58 </param-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
59 <param-value>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
60 /docuserver/www/digitallibrary/WEB-INF/digilib-config.xml
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
61 </param-value>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
62 </init-param>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
63 <load-on-startup>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
64 3
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
65 </load-on-startup>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
66 </servlet>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
67 <!-- The mapping for the Scaler servlet -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
68 <servlet-mapping>
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
69 <servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
70 Scaler
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 <url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
73 /servlet/Scaler/*
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
74 </url-pattern>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
75 </servlet-mapping>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
76 <!-- The mapping for the JSP servlet -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
77 <servlet-mapping>
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
78 <servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
79 doc-jsp
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
80 </servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
81 <url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
82 *.jsp
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
83 </url-pattern>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
84 </servlet-mapping>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
85 <!-- region for authenticated access -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
86 <security-constraint>
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
87 <web-resource-collection>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
88 <web-resource-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
89 Authenticated Digilib
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
90 </web-resource-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
91 <url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
92 /authenticated/*
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
93 </url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
94 </web-resource-collection>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
95 <!-- we need a default user -->
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
96 <auth-constraint>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
97 <role-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
98 user
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
99 </role-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
100 </auth-constraint>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
101 </security-constraint>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
102 <login-config>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
103 <!--
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
104 <auth-method>BASIC</auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
105 <realm-name>digilib</realm-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
106 -->
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
107 <auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
108 FORM
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
109 </auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
110 <form-login-config>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
111 <form-login-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
112 /digilib-login.html
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
113 </form-login-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
114 <form-error-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
115 /digilib-fail.html
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
116 </form-error-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
117 </form-login-config>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
118 </login-config>
20
d407cb901df4 Initial revision
robcast
parents:
diff changeset
119 </web-app>