Mercurial > hg > digilib-old

annotate client/src/main/webapp/WEB-INF/web-3.0.xml @ 892:ba1eb2d821a2 mvnify

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
rearrange sources to maven directory standard
author robcast
date Tue, 19 Apr 2011 18:44:25 +0200
parents client/digitallibrary/WEB-INF/web-3.0.xml@7e79829579f6
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
804
587c90bc5976 first version using officially approved Servlet 3.0 async support.
robcast
parents: 749
diff changeset
1 <?xml version="1.0" encoding="UTF-8"?>
587c90bc5976 first version using officially approved Servlet 3.0 async support.
robcast
parents: 749
diff changeset
2 <web-app
587c90bc5976 first version using officially approved Servlet 3.0 async support.
robcast
parents: 749
diff changeset
3 version="3.0"
587c90bc5976 first version using officially approved Servlet 3.0 async support.
robcast
parents: 749
diff changeset
4 xmlns="http://java.sun.com/xml/ns/javaee"
587c90bc5976 first version using officially approved Servlet 3.0 async support.
robcast
parents: 749
diff changeset
5 xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
587c90bc5976 first version using officially approved Servlet 3.0 async support.
robcast
parents: 749
diff changeset
6 xsi:schemaLocation="http://java.sun.com/xml/ns/javaee http://java.sun.com/xml/ns/javaee/web-app_3_0.xsd">
587c90bc5976 first version using officially approved Servlet 3.0 async support.
robcast
parents: 749
diff changeset
7
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
8 <!-- General description of your web application -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
9 <display-name>
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
10 digilib
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
11 </display-name>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
12 <description>
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
13 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
14 </description>
810
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents: 806
diff changeset
15 <!-- The Intialisation Listener (also configured by annotation) -->
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents: 806
diff changeset
16 <listener>
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents: 806
diff changeset
17 <listener-class>
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents: 806
diff changeset
18 digilib.servlet.Initialiser
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents: 806
diff changeset
19 </listener-class>
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents: 806
diff changeset
20 </listener>
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents: 806
diff changeset
21 <!-- The Scaler servlet (also configured by annotation) -->
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
22 <servlet>
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
23 <servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
24 Scaler
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
25 </servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
26 <servlet-class>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
27 digilib.servlet.Scaler
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
28 </servlet-class>
158
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
29 <!-- Load this servlet at server startup time -->
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
30 <load-on-startup>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
31 5
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
32 </load-on-startup>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
33 </servlet>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
34 <!-- The Texter servlet -->
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
35 <servlet>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
36 <servlet-name>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
37 Texter
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
38 </servlet-name>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
39 <servlet-class>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
40 digilib.servlet.Texter
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
41 </servlet-class>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
42 </servlet>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
43 <!-- The PDFCache servlet -->
307
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
44 <servlet>
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
45 <servlet-name>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
46 PDFCache
307
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
47 </servlet-name>
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
48 <servlet-class>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
49 digilib.servlet.PDFCache
307
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
50 </servlet-class>
190
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
51 </servlet>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
52 <!-- The mapping for the Scaler servlet -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
53 <servlet-mapping>
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
54 <servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
55 Scaler
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
56 </servlet-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
57 <url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
58 /servlet/Scaler/*
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
59 </url-pattern>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
60 </servlet-mapping>
118
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
61 <servlet-mapping>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
62 <servlet-name>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
63 Scaler
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
64 </servlet-name>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
65 <url-pattern>
804
587c90bc5976 first version using officially approved Servlet 3.0 async support.
robcast
parents: 749
diff changeset
66 /Scaler
587c90bc5976 first version using officially approved Servlet 3.0 async support.
robcast
parents: 749
diff changeset
67 </url-pattern>
587c90bc5976 first version using officially approved Servlet 3.0 async support.
robcast
parents: 749
diff changeset
68 </servlet-mapping>
587c90bc5976 first version using officially approved Servlet 3.0 async support.
robcast
parents: 749
diff changeset
69 <servlet-mapping>
587c90bc5976 first version using officially approved Servlet 3.0 async support.
robcast
parents: 749
diff changeset
70 <servlet-name>
587c90bc5976 first version using officially approved Servlet 3.0 async support.
robcast
parents: 749
diff changeset
71 Scaler
587c90bc5976 first version using officially approved Servlet 3.0 async support.
robcast
parents: 749
diff changeset
72 </servlet-name>
587c90bc5976 first version using officially approved Servlet 3.0 async support.
robcast
parents: 749
diff changeset
73 <url-pattern>
118
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
74 /authenticated/servlet/Scaler/*
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
75 </url-pattern>
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
76 </servlet-mapping>
158
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
77 <!-- The mapping for the Texter servlet -->
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
78 <servlet-mapping>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
79 <servlet-name>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
80 Texter
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
81 </servlet-name>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
82 <url-pattern>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
83 /servlet/Texter/*
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
84 </url-pattern>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
85 </servlet-mapping>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
86 <servlet-mapping>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
87 <servlet-name>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
88 Texter
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
89 </servlet-name>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
90 <url-pattern>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
91 /authenticated/servlet/Texter/*
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
92 </url-pattern>
e9a81ac446cb added Texter servlet and relative paths
robcast
parents: 118
diff changeset
93 </servlet-mapping>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
94 <!-- The mapping for the Texter servlet -->
190
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
95 <servlet-mapping>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
96 <servlet-name>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
97 PDFCache
190
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
98 </servlet-name>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
99 <url-pattern>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
100 /servlet/PDFCache/*
190
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
101 </url-pattern>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
102 </servlet-mapping>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
103 <servlet-mapping>
9efc5eca878f Added mapping for Raster servlet
robcast
parents: 158
diff changeset
104 <servlet-name>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
105 PDFCache
307
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
106 </servlet-name>
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
107 <url-pattern>
530
bd6569a95a3c clean up
robcast
parents: 528
diff changeset
108 /authenticated/servlet/PDFCache/*
307
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
109 </url-pattern>
8aab13acfe7a Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents: 221
diff changeset
110 </servlet-mapping>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
111 <!-- region for authenticated access -->
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
112 <security-constraint>
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
113 <web-resource-collection>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
114 <web-resource-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
115 Authenticated Digilib
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
116 </web-resource-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
117 <url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
118 /authenticated/*
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
119 </url-pattern>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
120 </web-resource-collection>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
121 <!-- we need a default user -->
749
109cd6fbec49 clean up of web.xml (not sure about authentication roles)
robcast
parents: 536
diff changeset
122 <!-- <auth-constraint>
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
123 <role-name>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
124 user
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
125 </role-name>
749
109cd6fbec49 clean up of web.xml (not sure about authentication roles)
robcast
parents: 536
diff changeset
126 </auth-constraint> -->
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
127 </security-constraint>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
128 <login-config>
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
129 <!--
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
130 <auth-method>BASIC</auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
131 <realm-name>digilib</realm-name>
118
75f5fd41f76e *** empty log message ***
robcast
parents: 60
diff changeset
132 -->
58
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
133 <auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
134 FORM
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
135 </auth-method>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
136 <form-login-config>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
137 <form-login-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
138 /digilib-login.html
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
139 </form-login-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
140 <form-error-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
141 /digilib-fail.html
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
142 </form-error-page>
2d8ed5252eb0 Made web.xml nicer. (ROC)
robcast
parents: 20
diff changeset
143 </form-login-config>
60
58d23f512c80 New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents: 58
diff changeset
144 </login-config>
20
d407cb901df4 Initial revision
robcast
parents:
diff changeset
145 </web-app>