# HG changeset patch
# User robcast
# Date 1070022050 -3600
# Node ID ff93d7dd19100724cb24647e9ea3bab5c36930c0
# Parent  380cf632980b422017dd515cccae335c2c7b0aeb
Added mapping for Raster servlet

diff -r 380cf632980b -r ff93d7dd1910 client/digitallibrary/WEB-INF/web.xml
--- 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>