Mercurial > hg > digilib-old
annotate client/digitallibrary/WEB-INF/web.xml @ 72:300d5ba8b33b
New servlet version 1.5b.
Mostly cleanup. Global parameters for digilib now in DigilibConfiguration,
per request parameters are now all in DigilibRequest. The DocuImage implementation
can be selected by the configuration docuimage-class.
Pixel-by-pixel view implemented with "mo=clip".
| author | robcast |
|---|---|
| date | Fri, 24 Jan 2003 21:40:59 +0100 |
| parents | 58d23f512c80 |
| children | 75f5fd41f76e |
| 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> | |
| 24 <!-- parameters to the servlet --> | |
| 25 <init-param> | |
| 26 <param-name> | |
| 27 config-file | |
| 28 </param-name> | |
| 29 <param-value> | |
| 30 /docuserver/www/digitallibrary/WEB-INF/digilib-config.xml | |
| 31 </param-value> | |
| 32 </init-param> | |
| 33 <!-- Load this servlet at server startup time --> | |
| 34 <load-on-startup> | |
| 35 5 | |
| 36 </load-on-startup> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
37 </servlet> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
38 <!-- We want to finger around with the default JSP servlet... --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
39 <servlet> |
| 58 | 40 <servlet-name> |
| 41 doc-jsp | |
| 42 </servlet-name> | |
| 43 <servlet-class> | |
| 44 org.apache.jasper.servlet.JspServlet | |
| 45 </servlet-class> | |
| 46 <!-- parameters to the JSP servlet --> | |
| 47 <init-param> | |
| 48 <param-name> | |
| 49 logVerbosityLevel | |
| 50 </param-name> | |
| 51 <param-value> | |
| 52 WARNING | |
| 53 </param-value> | |
| 54 </init-param> | |
| 55 <init-param> | |
| 56 <param-name> | |
| 57 config-file | |
| 58 </param-name> | |
| 59 <param-value> | |
| 60 /docuserver/www/digitallibrary/WEB-INF/digilib-config.xml | |
| 61 </param-value> | |
| 62 </init-param> | |
| 63 <load-on-startup> | |
| 64 3 | |
| 65 </load-on-startup> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
66 </servlet> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
67 <!-- The mapping for the Scaler servlet --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
68 <servlet-mapping> |
| 58 | 69 <servlet-name> |
| 70 Scaler | |
| 71 </servlet-name> | |
| 72 <url-pattern> | |
| 73 /servlet/Scaler/* | |
| 74 </url-pattern> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
75 </servlet-mapping> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
76 <!-- The mapping for the JSP servlet --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
77 <servlet-mapping> |
| 58 | 78 <servlet-name> |
| 79 doc-jsp | |
| 80 </servlet-name> | |
| 81 <url-pattern> | |
| 82 *.jsp | |
| 83 </url-pattern> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
84 </servlet-mapping> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
85 <!-- region for authenticated access --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
86 <security-constraint> |
| 58 | 87 <web-resource-collection> |
| 88 <web-resource-name> | |
| 89 Authenticated Digilib | |
| 90 </web-resource-name> | |
| 91 <url-pattern> | |
| 92 /authenticated/* | |
| 93 </url-pattern> | |
| 94 </web-resource-collection> | |
| 95 <!-- we need a default user --> | |
| 96 <auth-constraint> | |
| 97 <role-name> | |
| 98 user | |
| 99 </role-name> | |
| 100 </auth-constraint> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
101 </security-constraint> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
102 <login-config> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
103 <!-- |
| 58 | 104 <auth-method>BASIC</auth-method> |
| 105 <realm-name>digilib</realm-name> | |
| 106 --> | |
| 107 <auth-method> | |
| 108 FORM | |
| 109 </auth-method> | |
| 110 <form-login-config> | |
| 111 <form-login-page> | |
| 112 /digilib-login.html | |
| 113 </form-login-page> | |
| 114 <form-error-page> | |
| 115 /digilib-fail.html | |
| 116 </form-error-page> | |
| 117 </form-login-config> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
118 </login-config> |
| 20 | 119 </web-app> |