comparison client/digitallibrary/WEB-INF/web.xml @ 190:9efc5eca878f

Added mapping for Raster servlet
author robcast
date Fri, 28 Nov 2003 13:20:50 +0100
parents e9a81ac446cb
children 59a2bc922652
comparison
equal deleted inserted replaced
189:7bb273c51e88 190:9efc5eca878f
34 <description> 34 <description>
35 The servlet for text. 35 The servlet for text.
36 </description> 36 </description>
37 <servlet-class> 37 <servlet-class>
38 digilib.servlet.Texter 38 digilib.servlet.Texter
39 </servlet-class>
40 <!-- Load this servlet at server startup time -->
41 <load-on-startup>
42 5
43 </load-on-startup>
44 </servlet>
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
39 </servlet-class> 55 </servlet-class>
40 <!-- Load this servlet at server startup time --> 56 <!-- Load this servlet at server startup time -->
41 <load-on-startup> 57 <load-on-startup>
42 5 58 5
43 </load-on-startup> 59 </load-on-startup>
95 </servlet-name> 111 </servlet-name>
96 <url-pattern> 112 <url-pattern>
97 /authenticated/servlet/Texter/* 113 /authenticated/servlet/Texter/*
98 </url-pattern> 114 </url-pattern>
99 </servlet-mapping> 115 </servlet-mapping>
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>
100 <!-- The mapping for the JSP servlet --> 133 <!-- The mapping for the JSP servlet -->
101 <servlet-mapping> 134 <servlet-mapping>
102 <servlet-name> 135 <servlet-name>
103 doc-jsp 136 doc-jsp
104 </servlet-name> 137 </servlet-name>