Mercurial > hg > digilib

annotate client/digitallibrary/WEB-INF/web-2.3.xml @ 826:d9107e8d899d stream

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
logs more request and response headers. unsure about last-modified response.
author robcast
date Tue, 01 Mar 2011 10:14:29 +0100
parents e095492b49a8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
803
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
1 <?xml version="1.0" encoding="UTF-8"?>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
2 <!DOCTYPE web-app PUBLIC "-//Sun Microsystems, Inc.//DTD Web Application 2.3//EN" "http://java.sun.com/dtd/web-app_2_3.dtd">
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
3
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
4 <web-app>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
5 <!-- General description of your web application -->
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
6 <display-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
7 digilib
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
8 </display-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
9 <description>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
10 This is the web frontend of the Digital Document Library.
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
11 </description>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
12 <!-- The Intialisation Listener -->
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
13 <listener>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
14 <listener-class>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
15 digilib.servlet.Initialiser
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
16 </listener-class>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
17 </listener>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
18 <!-- The Scaler servlet -->
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
19 <servlet>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
20 <servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
21 Scaler
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
22 </servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
23 <servlet-class>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
24 digilib.servlet.ScalerNoAsync
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
25 </servlet-class>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
26 <!-- Load this servlet at server startup time -->
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
27 <load-on-startup>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
28 5
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
29 </load-on-startup>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
30 </servlet>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
31 <!-- The Texter servlet -->
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
32 <servlet>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
33 <servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
34 Texter
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
35 </servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
36 <servlet-class>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
37 digilib.servlet.Texter
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
38 </servlet-class>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
39 </servlet>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
40 <!-- The PDFCache servlet -->
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
41 <servlet>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
42 <servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
43 PDFCache
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
44 </servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
45 <servlet-class>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
46 digilib.servlet.PDFCache
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
47 </servlet-class>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
48 </servlet>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
49 <!-- The mapping for the Scaler servlet -->
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
50 <servlet-mapping>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
51 <servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
52 Scaler
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
53 </servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
54 <url-pattern>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
55 /servlet/Scaler/*
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
56 </url-pattern>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
57 </servlet-mapping>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
58 <servlet-mapping>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
59 <servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
60 Scaler
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
61 </servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
62 <url-pattern>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
63 /Scaler
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
64 </url-pattern>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
65 </servlet-mapping>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
66 <servlet-mapping>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
67 <servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
68 Scaler
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
69 </servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
70 <url-pattern>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
71 /authenticated/servlet/Scaler/*
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
72 </url-pattern>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
73 </servlet-mapping>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
74 <!-- The mapping for the Texter servlet -->
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
75 <servlet-mapping>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
76 <servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
77 Texter
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
78 </servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
79 <url-pattern>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
80 /servlet/Texter/*
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
81 </url-pattern>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
82 </servlet-mapping>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
83 <servlet-mapping>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
84 <servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
85 Texter
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
86 </servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
87 <url-pattern>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
88 /authenticated/servlet/Texter/*
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
89 </url-pattern>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
90 </servlet-mapping>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
91 <!-- The mapping for the Texter servlet -->
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
92 <servlet-mapping>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
93 <servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
94 PDFCache
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
95 </servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
96 <url-pattern>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
97 /servlet/PDFCache/*
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
98 </url-pattern>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
99 </servlet-mapping>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
100 <servlet-mapping>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
101 <servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
102 PDFCache
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
103 </servlet-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
104 <url-pattern>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
105 /authenticated/servlet/PDFCache/*
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
106 </url-pattern>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
107 </servlet-mapping>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
108 <!-- region for authenticated access -->
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
109 <security-constraint>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
110 <web-resource-collection>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
111 <web-resource-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
112 Authenticated Digilib
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
113 </web-resource-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
114 <url-pattern>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
115 /authenticated/*
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
116 </url-pattern>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
117 </web-resource-collection>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
118 <!-- we need a default user -->
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
119 <!-- <auth-constraint>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
120 <role-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
121 user
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
122 </role-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
123 </auth-constraint> -->
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
124 </security-constraint>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
125 <login-config>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
126 <!--
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
127 <auth-method>BASIC</auth-method>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
128 <realm-name>digilib</realm-name>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
129 -->
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
130 <auth-method>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
131 FORM
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
132 </auth-method>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
133 <form-login-config>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
134 <form-login-page>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
135 /digilib-login.html
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
136 </form-login-page>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
137 <form-error-page>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
138 /digilib-fail.html
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
139 </form-error-page>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
140 </form-login-config>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
141 </login-config>
e095492b49a8 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
142 </web-app>