# HG changeset patch
# User robcast
# Date 1055356367 -7200
# Node ID 3f8127e8394352ba5aaf829e3a9959c1d3f74e52
# Parent  b0250c4ea62a4bc861f1aa767c395598c5f5d9ef
*** empty log message ***

diff -r b0250c4ea62a -r 3f8127e83943 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>