cvs: php4 /sapi/servlet web.xml

sebastian Sat Oct 27 19:14:48 2001 EDT Modified files: /php4/sapi/servlet web.xml Log: Fix for Tomcat 4. Index: php4/sapi/servlet/web.xml diff -u php4/sapi/servlet/web.xml:1.2 php4/sapi/servlet/web.xml:1.3 --- php4/sapi/servlet/web.xml:1.2 Sun Mar 5 16:35:23 2000 +++ php4/sapi/servlet/web.xml Sat Oct 27 19:14:48 2001 @@ -5,37 +5,36 @@ "http://java.sun.com/j2ee/dtds/web-app_2.2.dtd"> <web-app> - <servlet> - <servlet-name> - php - </servlet-name> - <servlet-class> - net.php.servlet - </servlet-class> - </servlet> - <servlet-mapping> - <servlet-name> - php - </servlet-name> - <url-pattern> - *.php - </url-pattern> - </servlet-mapping> - - <servlet> - <servlet-name> - php-formatter - </servlet-name> - <servlet-class> - net.php.formatter - </servlet-class> - </servlet> - <servlet-mapping> - <servlet-name> - php-formatter - </servlet-name> - <url-pattern> - *.phps - </url-pattern> - </servlet-mapping> + <servlet> + <servlet-name> + php + </servlet-name> + <servlet-class> + net.php.servlet + </servlet-class> + </servlet> + <servlet> + <servlet-name> + php-formatter + </servlet-name> + <servlet-class> + net.php.formatter + </servlet-class> + </servlet> + <servlet-mapping> + <servlet-name> + php + </servlet-name> + <url-pattern> + *.php + </url-pattern> + </servlet-mapping> + <servlet-mapping> + <servlet-name> + php-formatter + </servlet-name> + <url-pattern> + *.phps + </url-pattern> + </servlet-mapping> </web-app>