minor step towards making web.xml tomcat 4.0 compatible.

diff --git a/etc/web.xml b/etc/web.xml
index 6561b67..2e6565d 100755 (executable)
--- 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>