Mercurial > hg > digilib-old
annotate client/digitallibrary/WEB-INF/web.xml @ 286:07bb7d594477 Root_gen2
Servlet version 1.22b1
- more fast searching (hopefully all working now)
- some simple synchronisation
- some reshuffling of methods to eliminate cruft
| author | robcast |
|---|---|
| date | Fri, 15 Oct 2004 17:00:15 +0200 |
| parents | 59a2bc922652 |
| children | 8aab13acfe7a |
| 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> |
| 221 | 13 <!-- The Relato servlet --> |
| 14 <servlet> | |
| 15 <servlet-name> | |
| 16 Relato | |
| 17 </servlet-name> | |
| 18 <description> | |
| 19 The relato servlet | |
| 20 </description> | |
| 21 <servlet-class> | |
| 22 Relato | |
| 23 </servlet-class> | |
| 24 </servlet> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
25 <!-- The Scaler servlet --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
26 <servlet> |
| 58 | 27 <servlet-name> |
| 28 Scaler | |
| 29 </servlet-name> | |
| 30 <description> | |
| 31 The servlet to scale the digilib images. | |
| 32 </description> | |
| 33 <servlet-class> | |
| 34 digilib.servlet.Scaler | |
| 35 </servlet-class> | |
| 158 | 36 <!-- Load this servlet at server startup time --> |
| 37 <load-on-startup> | |
| 38 5 | |
| 39 </load-on-startup> | |
| 40 </servlet> | |
| 41 <!-- The Texter servlet --> | |
| 42 <servlet> | |
| 43 <servlet-name> | |
| 44 Texter | |
| 45 </servlet-name> | |
| 46 <description> | |
| 47 The servlet for text. | |
| 48 </description> | |
| 49 <servlet-class> | |
| 50 digilib.servlet.Texter | |
| 51 </servlet-class> | |
| 58 | 52 <!-- Load this servlet at server startup time --> |
| 53 <load-on-startup> | |
| 54 5 | |
| 55 </load-on-startup> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
56 </servlet> |
| 190 | 57 <!-- The Raster servlet --> |
| 58 <servlet> | |
| 59 <servlet-name> | |
| 60 Raster | |
| 61 </servlet-name> | |
| 62 <description> | |
| 63 The servlet for rastered SVG. | |
| 64 </description> | |
| 65 <servlet-class> | |
| 66 digilib.servlet.Raster | |
| 67 </servlet-class> | |
| 68 <!-- Load this servlet at server startup time --> | |
| 69 <load-on-startup> | |
| 70 5 | |
| 71 </load-on-startup> | |
| 72 </servlet> | |
| 118 | 73 <!-- 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
|
74 <servlet> |
| 58 | 75 <servlet-name> |
| 76 doc-jsp | |
| 77 </servlet-name> | |
| 78 <servlet-class> | |
| 79 org.apache.jasper.servlet.JspServlet | |
| 80 </servlet-class> | |
| 81 <!-- parameters to the JSP servlet --> | |
| 82 <init-param> | |
| 83 <param-name> | |
| 84 logVerbosityLevel | |
| 85 </param-name> | |
| 86 <param-value> | |
| 87 WARNING | |
| 88 </param-value> | |
| 89 </init-param> | |
| 90 <load-on-startup> | |
| 91 3 | |
| 92 </load-on-startup> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
93 </servlet> |
| 221 | 94 <!-- The mapping for the Relato servlet --> |
| 95 <servlet-mapping> | |
| 96 <servlet-name> | |
| 97 Relato | |
| 98 </servlet-name> | |
| 99 <url-pattern> | |
| 100 /Relato | |
| 101 </url-pattern> | |
| 102 </servlet-mapping> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
103 <!-- The mapping for the Scaler servlet --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
104 <servlet-mapping> |
| 58 | 105 <servlet-name> |
| 106 Scaler | |
| 107 </servlet-name> | |
| 108 <url-pattern> | |
| 109 /servlet/Scaler/* | |
| 110 </url-pattern> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
111 </servlet-mapping> |
| 118 | 112 <servlet-mapping> |
| 113 <servlet-name> | |
| 114 Scaler | |
| 115 </servlet-name> | |
| 116 <url-pattern> | |
| 117 /authenticated/servlet/Scaler/* | |
| 118 </url-pattern> | |
| 119 </servlet-mapping> | |
| 158 | 120 <!-- The mapping for the Texter servlet --> |
| 121 <servlet-mapping> | |
| 122 <servlet-name> | |
| 123 Texter | |
| 124 </servlet-name> | |
| 125 <url-pattern> | |
| 126 /servlet/Texter/* | |
| 127 </url-pattern> | |
| 128 </servlet-mapping> | |
| 129 <servlet-mapping> | |
| 130 <servlet-name> | |
| 131 Texter | |
| 132 </servlet-name> | |
| 133 <url-pattern> | |
| 134 /authenticated/servlet/Texter/* | |
| 135 </url-pattern> | |
| 136 </servlet-mapping> | |
| 190 | 137 <!-- The mapping for the Raster servlet --> |
| 138 <servlet-mapping> | |
| 139 <servlet-name> | |
| 140 Raster | |
| 141 </servlet-name> | |
| 142 <url-pattern> | |
| 143 /servlet/Raster/* | |
| 144 </url-pattern> | |
| 145 </servlet-mapping> | |
| 146 <servlet-mapping> | |
| 147 <servlet-name> | |
| 148 Raster | |
| 149 </servlet-name> | |
| 150 <url-pattern> | |
| 151 /authenticated/servlet/Raster/* | |
| 152 </url-pattern> | |
| 153 </servlet-mapping> | |
| 158 | 154 <!-- The mapping for the JSP servlet --> |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
155 <servlet-mapping> |
| 58 | 156 <servlet-name> |
| 157 doc-jsp | |
| 158 </servlet-name> | |
| 159 <url-pattern> | |
| 160 *.jsp | |
| 161 </url-pattern> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
162 </servlet-mapping> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
163 <!-- region for authenticated access --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
164 <security-constraint> |
| 58 | 165 <web-resource-collection> |
| 166 <web-resource-name> | |
| 167 Authenticated Digilib | |
| 168 </web-resource-name> | |
| 169 <url-pattern> | |
| 170 /authenticated/* | |
| 171 </url-pattern> | |
| 172 </web-resource-collection> | |
| 173 <!-- we need a default user --> | |
| 174 <auth-constraint> | |
| 175 <role-name> | |
| 176 user | |
| 177 </role-name> | |
| 178 </auth-constraint> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
179 </security-constraint> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
180 <login-config> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
181 <!-- |
| 58 | 182 <auth-method>BASIC</auth-method> |
| 183 <realm-name>digilib</realm-name> | |
| 118 | 184 --> |
| 58 | 185 <auth-method> |
| 186 FORM | |
| 187 </auth-method> | |
| 188 <form-login-config> | |
| 189 <form-login-page> | |
| 190 /digilib-login.html | |
| 191 </form-login-page> | |
| 192 <form-error-page> | |
| 193 /digilib-fail.html | |
| 194 </form-error-page> | |
| 195 </form-login-config> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
196 </login-config> |
| 20 | 197 </web-app> |