# HG changeset patch
# User robcast
# Date 1055356367 -7200
# Node ID 75f5fd41f76e83099e3389c63b6233bfcdc624fa
# Parent  a934824c894d14c4b8663fcb7dbfcce022747e3b
*** empty log message ***

diff -r a934824c894d -r 75f5fd41f76e client/digitallibrary/WEB-INF/web.xml
--- a/client/digitallibrary/WEB-INF/web.xml	Wed Jun 11 20:26:51 2003 +0200
+++ b/client/digitallibrary/WEB-INF/web.xml	Wed Jun 11 20:32:47 2003 +0200
@@ -35,7 +35,7 @@
             5
         </load-on-startup>
   </servlet>
-  <!-- We want to finger around with the default JSP servlet... -->
+  <!-- We want to mess around with the default JSP servlet... -->
   <servlet>
         <servlet-name>
             doc-jsp
@@ -73,6 +73,14 @@
             /servlet/Scaler/*
         </url-pattern>
   </servlet-mapping>
+  <servlet-mapping>
+        <servlet-name>
+            Scaler
+        </servlet-name>
+        <url-pattern>
+            /authenticated/servlet/Scaler/*
+        </url-pattern>
+  </servlet-mapping>
   <!-- The mapping for the JSP servlet -->
   <servlet-mapping>
         <servlet-name>
@@ -103,7 +111,7 @@
   <!--
         <auth-method>BASIC</auth-method>
         <realm-name>digilib</realm-name> 
-        -->
+   -->
         <auth-method>
             FORM
         </auth-method>