# HG changeset patch
# User robcast
# Date 1070022050 -3600
# Node ID 9efc5eca878f6b58a31fa9f42be045c3ddb8501a
# Parent  7bb273c51e88c72a5072649c9f5bc875a7f84a6d
Added mapping for Raster servlet

diff -r 7bb273c51e88 -r 9efc5eca878f 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>