diff options
| author | Giuseppe Tanzilli <gtanzilli@php.net> | 2003-02-03 09:04:09 +0000 |
|---|---|---|
| committer | Giuseppe Tanzilli <gtanzilli@php.net> | 2003-02-03 09:04:09 +0000 |
| commit | 008dc0c2488f2f85eacd9ffe8e178c6939c5e60f (patch) | |
| tree | 36f352bf58be5dc9e64db75f5d395d6202c5b1fe /sapi/servlet/servlet.java | |
| parent | bfd4ad90ed305b792a5623b381086c0a0a58a3dd (diff) | |
| download | php-git-008dc0c2488f2f85eacd9ffe8e178c6939c5e60f.tar.gz | |
Fix sapi/servlet build on Unix
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 { |