Mercurial > hg > digilib
annotate client/digitallibrary/WEB-INF/web.xml @ 699:c2f42b919c59 jquery
some minor fixes, img reload still missing
| author | hertzhaft |
|---|---|
| date | Fri, 28 Jan 2011 16:29:54 +0100 |
| parents | 53b768f418aa |
| children | 2b9a172e2dfc |
| rev | line source |
|---|---|
| 17 | 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> | |
|
57
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
6 <!-- General description of your web application --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
7 <display-name> |
| 55 | 8 digilib |
|
57
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
9 </display-name> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
10 <description> |
| 55 | 11 This is the web frontend of the Digital Document Library. |
|
57
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
12 </description> |
|
303
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
13 <!-- The Initaliser servlet --> |
| 217 | 14 <servlet> |
| 15 <servlet-name> | |
|
303
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
16 Initialiser |
| 217 | 17 </servlet-name> |
| 18 <description> | |
|
303
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
19 The inialisation servlet (must run first). |
| 217 | 20 </description> |
| 21 <servlet-class> | |
|
303
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
22 digilib.servlet.Initialiser |
| 217 | 23 </servlet-class> |
|
303
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
24 <!-- Load this servlet at server startup time --> |
|
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
25 <load-on-startup> |
|
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
26 1 |
|
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
27 </load-on-startup> |
| 217 | 28 </servlet> |
|
57
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
29 <!-- The Scaler servlet --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
30 <servlet> |
| 55 | 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> | |
| 154 | 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> | |
|
57
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
56 </servlet> |
| 526 | 57 <!-- The PDFCache servlet --> |
|
303
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
58 <servlet> |
|
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
59 <servlet-name> |
| 526 | 60 PDFCache |
|
303
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
61 </servlet-name> |
|
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
62 <description> |
| 526 | 63 The servlet for PDF. |
|
303
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
64 </description> |
|
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
65 <servlet-class> |
| 526 | 66 digilib.servlet.PDFCache |
|
303
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
67 </servlet-class> |
| 186 | 68 </servlet> |
| 114 | 69 <!-- We want to mess around with the default JSP servlet... --> |
|
57
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
70 <servlet> |
| 55 | 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> | |
|
57
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
89 </servlet> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
90 <!-- The mapping for the Scaler servlet --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
91 <servlet-mapping> |
| 55 | 92 <servlet-name> |
| 93 Scaler | |
| 94 </servlet-name> | |
| 95 <url-pattern> | |
| 96 /servlet/Scaler/* | |
| 97 </url-pattern> | |
|
57
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
98 </servlet-mapping> |
| 114 | 99 <servlet-mapping> |
| 100 <servlet-name> | |
| 101 Scaler | |
| 102 </servlet-name> | |
| 103 <url-pattern> | |
| 104 /authenticated/servlet/Scaler/* | |
| 105 </url-pattern> | |
| 106 </servlet-mapping> | |
| 154 | 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> | |
| 526 | 124 <!-- The mapping for the Texter servlet --> |
| 186 | 125 <servlet-mapping> |
| 126 <servlet-name> | |
| 526 | 127 PDFCache |
| 186 | 128 </servlet-name> |
| 129 <url-pattern> | |
| 526 | 130 /servlet/PDFCache/* |
| 186 | 131 </url-pattern> |
| 132 </servlet-mapping> | |
| 133 <servlet-mapping> | |
| 134 <servlet-name> | |
| 526 | 135 PDFCache |
|
303
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
136 </servlet-name> |
|
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
137 <url-pattern> |
| 526 | 138 /authenticated/servlet/PDFCache/* |
|
303
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
139 </url-pattern> |
|
63fd7b1c563d
Servlet version 1.5.1b -- the beginning of the next generation :-)
robcast
parents:
217
diff
changeset
|
140 </servlet-mapping> |
| 154 | 141 <!-- The mapping for the JSP servlet --> |
|
57
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
142 <servlet-mapping> |
| 55 | 143 <servlet-name> |
| 144 doc-jsp | |
| 145 </servlet-name> | |
| 146 <url-pattern> | |
| 147 *.jsp | |
| 148 </url-pattern> | |
|
57
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
149 </servlet-mapping> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
150 <!-- region for authenticated access --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
151 <security-constraint> |
| 55 | 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> | |
|
57
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
166 </security-constraint> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
167 <login-config> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
168 <!-- |
| 55 | 169 <auth-method>BASIC</auth-method> |
| 170 <realm-name>digilib</realm-name> | |
| 114 | 171 --> |
| 55 | 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> | |
|
57
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
55
diff
changeset
|
183 </login-config> |
| 17 | 184 </web-app> |