changeset 118:75f5fd41f76e

*** empty log message ***
author robcast
date Wed, 11 Jun 2003 20:32:47 +0200
parents a934824c894d
children 8afac7d7c1e6
files client/digitallibrary/WEB-INF/web.xml
diffstat 1 files changed, 10 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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>