# HG changeset patch
# User robcast
# Date 1263475830 -3600
# Node ID 60ee5a907fa29c3fd0437c21b9efaa7f3e90b3b0
# Parent  1b606e77873f7078d43337b68dc1b9c6154caa6c
clean up

diff -r 1b606e77873f -r 60ee5a907fa2 client/digitallibrary/WEB-INF/web.xml
--- a/client/digitallibrary/WEB-INF/web.xml	Thu Jan 14 14:26:56 2010 +0100
+++ b/client/digitallibrary/WEB-INF/web.xml	Thu Jan 14 14:30:30 2010 +0100
@@ -54,6 +54,18 @@
             digilib.servlet.Texter
         </servlet-class>
   </servlet>
+  <!-- The PDFCache servlet -->
+  <servlet>
+        <servlet-name>
+            PDFCache
+        </servlet-name>
+        <description>
+            The servlet for PDF.
+        </description>
+        <servlet-class>
+            digilib.servlet.PDFCache
+        </servlet-class>
+  </servlet>
   <!-- We want to mess around with the default JSP servlet... -->
   <servlet>
         <servlet-name>
@@ -109,7 +121,24 @@
             /authenticated/servlet/Texter/*
         </url-pattern>
   </servlet-mapping>
-  <!-- The mapping for the JSP servlet -->
+  <!-- The mapping for the Texter servlet -->
+  <servlet-mapping>
+        <servlet-name>
+            PDFCache
+        </servlet-name>
+        <url-pattern>
+            /servlet/PDFCache/*
+        </url-pattern>
+  </servlet-mapping>
+  <servlet-mapping>
+        <servlet-name>
+            PDFCache
+        </servlet-name>
+        <url-pattern>
+            /authenticated/servlet/PDFCache/*
+        </url-pattern>
+  </servlet-mapping>
+   <!-- The mapping for the JSP servlet -->
   <servlet-mapping>
         <servlet-name>
             doc-jsp