Mercurial > hg > digilib-old

annotate client/digitallibrary/WEB-INF/web.xml @ 863:1641fab276ee stream

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixing bugs from cleanup...
author robcast
date Wed, 09 Mar 2011 11:03:29 +0100
parents 5de6c7a73855
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>