Swapped 2nd <servlet> and <servlet-mapping> to bring web.xml into

compliance w/ servlet 2.3 (and consquently let it run under Tomcat4)

diff --git a/etc/web.xml b/etc/web.xml
index 0269b29..6561b67 100755 (executable)
--- a/etc/web.xml
+++ b/etc/web.xml
@@ -20,18 +20,6 @@
 
     </servlet>
 
-    <servlet-mapping>
-        <servlet-name>
-            Mir
-        </servlet-name>
-        <url-pattern>
-            Mir
-        </url-pattern>
-    </servlet-mapping>
-
-
-
-
     <servlet>
         <servlet-name>
             OpenMir
@@ -48,6 +36,15 @@
     </servlet>
 
     <servlet-mapping>
+        <servlet-name>
+            Mir
+        </servlet-name>
+        <url-pattern>
+            Mir
+        </url-pattern>
+    </servlet-mapping>
+
+    <servlet-mapping>
         <servlet-name>OpenMir</servlet-name>
         <url-pattern>OpenMir</url-pattern>
     </servlet-mapping>