From c554960dd04a589a4b1caf667e06daf2cfa7e280 Mon Sep 17 00:00:00 2001
From: mh <mh>
Date: Sat, 27 Oct 2001 17:06:47 +0000
Subject: [PATCH] minor step towards making web.xml tomcat 4.0 compatible.

---
 etc/web.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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>
 
 
-- 
2.11.0