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