annotate client/digitallibrary/WEB-INF/web.xml @ 151:bc8df0133c04

Servlet version 1.15b1 - information in index.meta works finally for files in subdirectories.
author robcast
date Mon, 01 Sep 2003 18:21:27 +0200
parents 75f5fd41f76e
children e9a81ac446cb
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>
118
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
38 <!-- We want to mess around with the default JSP servlet... -->
60
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>
118
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
76 <servlet-mapping>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
77 <servlet-name>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
78 Scaler
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
79 </servlet-name>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
80 <url-pattern>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
81 /authenticated/servlet/Scaler/*
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
82 </url-pattern>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
83 </servlet-mapping>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
84 <!-- The mapping for the JSP servlet -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
85 <servlet-mapping>
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
86 <servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
87 doc-jsp
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
88 </servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
89 <url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
90 *.jsp
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
91 </url-pattern>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
92 </servlet-mapping>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
93 <!-- region for authenticated access -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
94 <security-constraint>
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
95 <web-resource-collection>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
96 <web-resource-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
97 Authenticated Digilib
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
98 </web-resource-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
99 <url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
100 /authenticated/*
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
101 </url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
102 </web-resource-collection>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
103 <!-- we need a default user -->
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
104 <auth-constraint>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
105 <role-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
106 user
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
107 </role-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
108 </auth-constraint>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
109 </security-constraint>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
110 <login-config>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
111 <!--
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
112 <auth-method>BASIC</auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
113 <realm-name>digilib</realm-name>
118
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
114 -->
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
115 <auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
116 FORM
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
117 </auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
118 <form-login-config>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
119 <form-login-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
120 /digilib-login.html
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
121 </form-login-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
122 <form-error-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
123 /digilib-fail.html
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
124 </form-error-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
125 </form-login-config>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
126 </login-config>
20
d407cb901df4 Initial revision
robcast
parents:
diff changeset
127 </web-app>