Mercurial > hg > digilib-old
annotate client/digitallibrary/WEB-INF/web.xml @ 130:c36944be0b58
Servlet Version 1.11a1with original size(!)
- new meta data file loader
- new parameter ddpi, ddpix, ddpiy (client->servlet)
- new parameter mo=osize
- osize scales based on ddpi and original dpi (currently only equally for x and y)
| author | robcast |
|---|---|
| date | Wed, 02 Jul 2003 00:02:18 +0200 |
| parents | 75f5fd41f76e |
| children | e9a81ac446cb |
| 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> |
| 118 | 38 <!-- 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
|
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> |
| 118 | 76 <servlet-mapping> |
| 77 <servlet-name> | |
| 78 Scaler | |
| 79 </servlet-name> | |
| 80 <url-pattern> | |
| 81 /authenticated/servlet/Scaler/* | |
| 82 </url-pattern> | |
| 83 </servlet-mapping> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
84 <!-- The mapping for the JSP servlet --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
85 <servlet-mapping> |
| 58 | 86 <servlet-name> |
| 87 doc-jsp | |
| 88 </servlet-name> | |
| 89 <url-pattern> | |
| 90 *.jsp | |
| 91 </url-pattern> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
92 </servlet-mapping> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
93 <!-- region for authenticated access --> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
94 <security-constraint> |
| 58 | 95 <web-resource-collection> |
| 96 <web-resource-name> | |
| 97 Authenticated Digilib | |
| 98 </web-resource-name> | |
| 99 <url-pattern> | |
| 100 /authenticated/* | |
| 101 </url-pattern> | |
| 102 </web-resource-collection> | |
| 103 <!-- we need a default user --> | |
| 104 <auth-constraint> | |
| 105 <role-name> | |
| 106 user | |
| 107 </role-name> | |
| 108 </auth-constraint> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
109 </security-constraint> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
110 <login-config> |
|
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
111 <!-- |
| 58 | 112 <auth-method>BASIC</auth-method> |
| 113 <realm-name>digilib</realm-name> | |
| 118 | 114 --> |
| 58 | 115 <auth-method> |
| 116 FORM | |
| 117 </auth-method> | |
| 118 <form-login-config> | |
| 119 <form-login-page> | |
| 120 /digilib-login.html | |
| 121 </form-login-page> | |
| 122 <form-error-page> | |
| 123 /digilib-fail.html | |
| 124 </form-error-page> | |
| 125 </form-login-config> | |
|
60
58d23f512c80
New DigilibServlet.jar with new version (with DigilibRequest object).
robcast
parents:
58
diff
changeset
|
126 </login-config> |
| 20 | 127 </web-app> |