diff options
| author | Sebastian Bergmann <sebastian@php.net> | 2003-01-12 08:03:18 +0000 |
|---|---|---|
| committer | Sebastian Bergmann <sebastian@php.net> | 2003-01-12 08:03:18 +0000 |
| commit | 17c15187928df2e6c502f124e078d52c4cacc716 (patch) | |
| tree | ad7d799bdbfc33d3e108921ea8553a2df9ea0dbd /sapi/servlet/servlet.java | |
| parent | a142ce729f9ac9a62d8de32ae2acd580b05ae85d (diff) | |
| download | php-git-17c15187928df2e6c502f124e078d52c4cacc716.tar.gz | |
Patch by Giuseppe Tanzilli <g.tanzilli@gruppocsf.com>.
Diffstat (limited to 'sapi/servlet/servlet.java')
| -rw-r--r-- | sapi/servlet/servlet.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sapi/servlet/servlet.java b/sapi/servlet/servlet.java index 03a3c7acad..8cfbc29406 100644 --- a/sapi/servlet/servlet.java +++ b/sapi/servlet/servlet.java @@ -107,6 +107,8 @@ public class servlet extends HttpServlet { else if (data.startsWith("Location: ")) { response.sendRedirect(data.substring(data.indexOf(" ") + 1)); + } else if (data.startsWith("HTTP/1")) { + return; // this one is added from servlet container (Tomcat 4.1), we have to check for others } else { |