Ok, big merge. here's the new xml-config stuff in action. There's a few

[mir.git] / etc / web.xml

diff --git a/etc/web.xml b/etc/web.xml
index 2e6565d..f5f55a2 100755 (executable)
--- a/etc/web.xml
+++ b/etc/web.xml
@@ -17,6 +17,10 @@
             <param-name>Config</param-name>
             <param-value>config</param-value>
         </init-param>
+        <init-param>
+            <param-name>xml-config</param-name>
+            <param-value>/home/heckmann/mir/Mir/server.xml</param-value>
+        </init-param>
 
     </servlet>
 
@@ -32,6 +36,10 @@
             <param-name>Config</param-name>
             <param-value>config</param-value>
         </init-param>
+        <init-param>
+            <param-name>xml-config</param-name>
+            <param-value>/home/heckmann/mir/Mir/server.xml</param-value>
+        </init-param>
 
     </servlet>