Mercurial > hg > digilib

annotate client/digitallibrary/WEB-INF/web-2.3.xml @ 803:e095492b49a8 stream

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Alternative versions of Scaler without async and without threads. Should still work with Servlet API 2.3 (i.e. Tomcat < 7, Jetty < 8).
author robcast
date Sun, 20 Feb 2011 19:34:05 +0100
parents
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>