changeset 190:9efc5eca878f

Added mapping for Raster servlet
author robcast
date Fri, 28 Nov 2003 13:20:50 +0100
parents 7bb273c51e88
children dbe3d4437d52
files client/digitallibrary/WEB-INF/web.xml
diffstat 1 files changed, 33 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/client/digitallibrary/WEB-INF/web.xml	Fri Nov 28 13:19:37 2003 +0100
+++ b/client/digitallibrary/WEB-INF/web.xml	Fri Nov 28 13:20:50 2003 +0100
@@ -42,6 +42,22 @@
             5
         </load-on-startup>
   </servlet>
+  <!-- The Raster servlet -->
+  <servlet>
+        <servlet-name>
+            Raster
+        </servlet-name>
+        <description>
+            The servlet for rastered SVG.
+        </description>
+        <servlet-class>
+            digilib.servlet.Raster
+        </servlet-class>
+        <!-- Load this servlet at server startup time -->
+        <load-on-startup>
+            5
+        </load-on-startup>
+  </servlet>
   <!-- We want to mess around with the default JSP servlet... -->
   <servlet>
         <servlet-name>
@@ -97,6 +113,23 @@
             /authenticated/servlet/Texter/*
         </url-pattern>
   </servlet-mapping>
+  <!-- The mapping for the Raster servlet -->
+  <servlet-mapping>
+        <servlet-name>
+            Raster
+        </servlet-name>
+        <url-pattern>
+            /servlet/Raster/*
+        </url-pattern>
+  </servlet-mapping>
+  <servlet-mapping>
+        <servlet-name>
+            Raster
+        </servlet-name>
+        <url-pattern>
+            /authenticated/servlet/Raster/*
+        </url-pattern>
+  </servlet-mapping>
    <!-- The mapping for the JSP servlet -->
   <servlet-mapping>
         <servlet-name>