# HG changeset patch
# User robcast
# Date 1263475830 -3600
# Node ID bd6569a95a3cf73b5cd35d04bbb31562ac9bbc7c
# Parent  6f0317ff5824675fd388f4e2a5778029d0b5d314
clean up

diff -r 6f0317ff5824 -r bd6569a95a3c 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