Mercurial > hg > digilib-old
annotate client/digitallibrary/WEB-INF/web.xml @ 184:754c90861f95
Servlet version 1.18b2
- added max-image-size parameter for digilib-config
| author | robcast |
|---|---|
| date | Tue, 25 Nov 2003 19:25:02 +0100 |
| parents | e9a81ac446cb |
| children | 9efc5eca878f |
| 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> |
| 118 | 45 <!-- 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
|
46 <servlet> |
| 58 | 47 <servlet-name> |
| 48 doc-jsp | |
| 49 </servlet-name> | |
| 50 <servlet-class> | |
| 51 org.apache.jasper.servlet.JspServlet | |
| 52 </servlet-class> | |
| 53 <!-- parameters to the JSP servlet --> | |
| 54 <init-param> | |
| 55 <param-name> | |
| 56 logVerbosityLevel | |
| 57 </param-name> | |
| 58 <param-value> | |
| 59 WARNING | |
| 60 </param-value> | |
| 61 </init-param> | |
| 62 <load-on-startup> | |
| 63 3 | |
| 64 </load-on-startup> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
65 </servlet> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
66 <!-- The mapping for the Scaler servlet --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
67 <servlet-mapping> |
| 58 | 68 <servlet-name> |
| 69 Scaler | |
| 70 </servlet-name> | |
| 71 <url-pattern> | |
| 72 /servlet/Scaler/* | |
| 73 </url-pattern> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
74 </servlet-mapping> |
| 118 | 75 <servlet-mapping> |
| 76 <servlet-name> | |
| 77 Scaler | |
| 78 </servlet-name> | |
| 79 <url-pattern> | |
| 80 /authenticated/servlet/Scaler/* | |
| 81 </url-pattern> | |
| 82 </servlet-mapping> | |
| 158 | 83 <!-- The mapping for the Texter servlet --> |
| 84 <servlet-mapping> | |
| 85 <servlet-name> | |
| 86 Texter | |
| 87 </servlet-name> | |
| 88 <url-pattern> | |
| 89 /servlet/Texter/* | |
| 90 </url-pattern> | |
| 91 </servlet-mapping> | |
| 92 <servlet-mapping> | |
| 93 <servlet-name> | |
| 94 Texter | |
| 95 </servlet-name> | |
| 96 <url-pattern> | |
| 97 /authenticated/servlet/Texter/* | |
| 98 </url-pattern> | |
| 99 </servlet-mapping> | |
| 100 <!-- The mapping for the JSP servlet --> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
101 <servlet-mapping> |
| 58 | 102 <servlet-name> |
| 103 doc-jsp | |
| 104 </servlet-name> | |
| 105 <url-pattern> | |
| 106 *.jsp | |
| 107 </url-pattern> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
108 </servlet-mapping> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
109 <!-- region for authenticated access --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
110 <security-constraint> |
| 58 | 111 <web-resource-collection> |
| 112 <web-resource-name> | |
| 113 Authenticated Digilib | |
| 114 </web-resource-name> | |
| 115 <url-pattern> | |
| 116 /authenticated/* | |
| 117 </url-pattern> | |
| 118 </web-resource-collection> | |
| 119 <!-- we need a default user --> | |
| 120 <auth-constraint> | |
| 121 <role-name> | |
| 122 user | |
| 123 </role-name> | |
| 124 </auth-constraint> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
125 </security-constraint> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
126 <login-config> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
127 <!-- |
| 58 | 128 <auth-method>BASIC</auth-method> |
| 129 <realm-name>digilib</realm-name> | |
| 118 | 130 --> |
| 58 | 131 <auth-method> |
| 132 FORM | |
| 133 </auth-method> | |
| 134 <form-login-config> | |
| 135 <form-login-page> | |
| 136 /digilib-login.html | |
| 137 </form-login-page> | |
| 138 <form-error-page> | |
| 139 /digilib-fail.html | |
| 140 </form-error-page> | |
| 141 </form-login-config> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
142 </login-config> |
| 20 | 143 </web-app> |