From: mh <mh>
Date: Sat, 27 Oct 2001 17:06:47 +0000 (+0000)
Subject: minor step towards making web.xml tomcat 4.0 compatible.
X-Git-Tag: prexmlproducerconfig~318
X-Git-Url: http://erislabs.net/gitweb/?a=commitdiff_plain;h=c554960dd04a589a4b1caf667e06daf2cfa7e280;p=mir.git

minor step towards making web.xml tomcat 4.0 compatible.
---

diff --git a/etc/web.xml b/etc/web.xml
index 6561b677..2e6565d4 100755
--- a/etc/web.xml
+++ b/etc/web.xml
@@ -40,13 +40,13 @@
             Mir
         </servlet-name>
         <url-pattern>
-            Mir
+            /Mir
         </url-pattern>
     </servlet-mapping>
 
     <servlet-mapping>
         <servlet-name>OpenMir</servlet-name>
-        <url-pattern>OpenMir</url-pattern>
+        <url-pattern>/OpenMir</url-pattern>
     </servlet-mapping>