summaryrefslogtreecommitdiff
path: root/sapi/servlet
diff options
context:
space:
mode:
authorSebastian Bergmann <sebastian@php.net>2001-10-27 23:14:49 +0000
committerSebastian Bergmann <sebastian@php.net>2001-10-27 23:14:49 +0000
commitcb6e7510088ac25cd2d49438165033ad75b263b9 (patch)
tree05c831df546e3c38e327aaab8fb7d37079c7ef90 /sapi/servlet
parent10fe28c8ab70860c94fe0e21d43eac9fb0144089 (diff)
downloadphp-git-cb6e7510088ac25cd2d49438165033ad75b263b9.tar.gz
Fix for Tomcat 4.
Diffstat (limited to 'sapi/servlet')
-rw-r--r--sapi/servlet/web.xml65
1 files changed, 32 insertions, 33 deletions
diff --git a/sapi/servlet/web.xml b/sapi/servlet/web.xml
index 9efa2fd091..b0703a3614 100644
--- a/sapi/servlet/web.xml
+++ b/sapi/servlet/web.xml
@@ -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>