Mercurial > hg > digilib-old
annotate client/digitallibrary/WEB-INF/web.xml @ 88:398d39ee1014
New version 1.8b4.
Utility classes use newer Collection classes like HashMap.
| author | robcast |
|---|---|
| date | Mon, 17 Mar 2003 15:24:55 +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> |