backed out patch regarding automatic media title assignment

[mir.git] / etc / web.xml

diff --git a/etc/web.xml b/etc/web.xml
index 001d9a0..d47a97e 100755 (executable)
--- a/etc/web.xml
+++ b/etc/web.xml
@@ -15,7 +15,7 @@
 
         <init-param>
             <param-name>Config</param-name>
-            <param-value>config</param-value>
+            <param-value>etc/config.properties</param-value>
         </init-param>
 
     </servlet>
@@ -30,7 +30,7 @@
 
         <init-param>
             <param-name>Config</param-name>
-            <param-value>config</param-value>
+            <param-value>etc/config.properties</param-value>
         </init-param>
 
     </servlet>
@@ -134,17 +134,6 @@
       </mime-type>
     </mime-mapping>
 
-
-
-    <taglib>
-        <taglib-uri>
-          http://java.apache.org/tomcat/examples-taglib
-        </taglib-uri>
-        <taglib-location>
-           /WEB-INF/jsp/example-taglib.tld
-        </taglib-location>
-    </taglib>
-
     <security-constraint>
       <web-resource-collection>
          <web-resource-name>Protected Area</web-resource-name>