Mercurial > hg > digilib-old
annotate client/digitallibrary/WEB-INF/web.xml @ 536:e758a49258e8 digilibPDF
Merge with 9936604d466e3c44d8a2609519848f33f2801629 (changes to HEAD)
| author | casties |
|---|---|
| date | Wed, 25 Aug 2010 18:29:08 +0200 |
| parents | bd6569a95a3c 8aab13acfe7a |
| children | 109cd6fbec49 |
| rev | line source |
|---|---|
| 20 | 1 <!DOCTYPE web-app |
| 2 PUBLIC "-//Sun Microsystems, Inc.//DTD Web Application 2.3//EN" | |
| 3 "http://java.sun.com/dtd/web-app_2_3.dtd"> | |
| 4 | |
| 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 | 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 | 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> |
|
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
13 <!-- The Initaliser servlet --> |
| 221 | 14 <servlet> |
| 15 <servlet-name> | |
|
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
16 Initialiser |
| 221 | 17 </servlet-name> |
| 18 <description> | |
|
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
19 The inialisation servlet (must run first). |
| 221 | 20 </description> |
| 21 <servlet-class> | |
|
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
22 digilib.servlet.Initialiser |
| 221 | 23 </servlet-class> |
|
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
24 <!-- Load this servlet at server startup time --> |
|
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
25 <load-on-startup> |
|
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
26 1 |
|
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
27 </load-on-startup> |
| 221 | 28 </servlet> |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
29 <!-- The Scaler servlet --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
30 <servlet> |
| 58 | 31 <servlet-name> |
| 32 Scaler | |
| 33 </servlet-name> | |
| 34 <description> | |
| 35 The servlet to scale the digilib images. | |
| 36 </description> | |
| 37 <servlet-class> | |
| 38 digilib.servlet.Scaler | |
| 39 </servlet-class> | |
| 158 | 40 <!-- Load this servlet at server startup time --> |
| 41 <load-on-startup> | |
| 42 5 | |
| 43 </load-on-startup> | |
| 44 </servlet> | |
| 45 <!-- The Texter servlet --> | |
| 46 <servlet> | |
| 47 <servlet-name> | |
| 48 Texter | |
| 49 </servlet-name> | |
| 50 <description> | |
| 51 The servlet for text. | |
| 52 </description> | |
| 53 <servlet-class> | |
| 54 digilib.servlet.Texter | |
| 55 </servlet-class> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
56 </servlet> |
| 530 | 57 <!-- The PDFCache servlet --> |
|
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
58 <servlet> |
|
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
59 <servlet-name> |
| 530 | 60 PDFCache |
|
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
61 </servlet-name> |
|
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
62 <description> |
| 530 | 63 The servlet for PDF. |
|
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
64 </description> |
|
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
65 <servlet-class> |
| 530 | 66 digilib.servlet.PDFCache |
|
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
67 </servlet-class> |
| 190 | 68 </servlet> |
| 118 | 69 <!-- 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
|
70 <servlet> |
| 58 | 71 <servlet-name> |
| 72 doc-jsp | |
| 73 </servlet-name> | |
| 74 <servlet-class> | |
| 75 org.apache.jasper.servlet.JspServlet | |
| 76 </servlet-class> | |
| 77 <!-- parameters to the JSP servlet --> | |
| 78 <init-param> | |
| 79 <param-name> | |
| 80 logVerbosityLevel | |
| 81 </param-name> | |
| 82 <param-value> | |
| 83 WARNING | |
| 84 </param-value> | |
| 85 </init-param> | |
| 86 <load-on-startup> | |
| 87 3 | |
| 88 </load-on-startup> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
89 </servlet> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
90 <!-- The mapping for the Scaler servlet --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
91 <servlet-mapping> |
| 58 | 92 <servlet-name> |
| 93 Scaler | |
| 94 </servlet-name> | |
| 95 <url-pattern> | |
| 96 /servlet/Scaler/* | |
| 97 </url-pattern> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
98 </servlet-mapping> |
| 118 | 99 <servlet-mapping> |
| 100 <servlet-name> | |
| 101 Scaler | |
| 102 </servlet-name> | |
| 103 <url-pattern> | |
| 104 /authenticated/servlet/Scaler/* | |
| 105 </url-pattern> | |
| 106 </servlet-mapping> | |
| 158 | 107 <!-- The mapping for the Texter servlet --> |
| 108 <servlet-mapping> | |
| 109 <servlet-name> | |
| 110 Texter | |
| 111 </servlet-name> | |
| 112 <url-pattern> | |
| 113 /servlet/Texter/* | |
| 114 </url-pattern> | |
| 115 </servlet-mapping> | |
| 116 <servlet-mapping> | |
| 117 <servlet-name> | |
| 118 Texter | |
| 119 </servlet-name> | |
| 120 <url-pattern> | |
| 121 /authenticated/servlet/Texter/* | |
| 122 </url-pattern> | |
| 123 </servlet-mapping> | |
| 530 | 124 <!-- The mapping for the Texter servlet --> |
| 190 | 125 <servlet-mapping> |
| 126 <servlet-name> | |
| 530 | 127 PDFCache |
| 190 | 128 </servlet-name> |
| 129 <url-pattern> | |
| 530 | 130 /servlet/PDFCache/* |
| 190 | 131 </url-pattern> |
| 132 </servlet-mapping> | |
| 133 <servlet-mapping> | |
| 134 <servlet-name> | |
| 530 | 135 PDFCache |
|
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
136 </servlet-name> |
|
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
137 <url-pattern> |
| 530 | 138 /authenticated/servlet/PDFCache/* |
|
307
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
139 </url-pattern> |
|
8aab13acfe7a
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
221
diff
changeset
|
140 </servlet-mapping> |
| 158 | 141 <!-- The mapping for the JSP servlet --> |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
142 <servlet-mapping> |
| 58 | 143 <servlet-name> |
| 144 doc-jsp | |
| 145 </servlet-name> | |
| 146 <url-pattern> | |
| 147 *.jsp | |
| 148 </url-pattern> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
149 </servlet-mapping> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
150 <!-- region for authenticated access --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
151 <security-constraint> |
| 58 | 152 <web-resource-collection> |
| 153 <web-resource-name> | |
| 154 Authenticated Digilib | |
| 155 </web-resource-name> | |
| 156 <url-pattern> | |
| 157 /authenticated/* | |
| 158 </url-pattern> | |
| 159 </web-resource-collection> | |
| 160 <!-- we need a default user --> | |
| 161 <auth-constraint> | |
| 162 <role-name> | |
| 163 user | |
| 164 </role-name> | |
| 165 </auth-constraint> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
166 </security-constraint> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
167 <login-config> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
168 <!-- |
| 58 | 169 <auth-method>BASIC</auth-method> |
| 170 <realm-name>digilib</realm-name> | |
| 118 | 171 --> |
| 58 | 172 <auth-method> |
| 173 FORM | |
| 174 </auth-method> | |
| 175 <form-login-config> | |
| 176 <form-login-page> | |
| 177 /digilib-login.html | |
| 178 </form-login-page> | |
| 179 <form-error-page> | |
| 180 /digilib-fail.html | |
| 181 </form-error-page> | |
| 182 </form-login-config> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
183 </login-config> |
| 20 | 184 </web-app> |