|
@@ 811-816 (lines=6) @@
|
| 808 |
|
$this->_redirectaddr = $matches[2]; |
| 809 |
|
} |
| 810 |
|
|
| 811 |
|
if (preg_match("|^HTTP/|", $currentHeader)) { |
| 812 |
|
if (preg_match("|^HTTP/[^\s]*\s(.*?)\s|", $currentHeader, $status)) { |
| 813 |
|
$this->status = $status[1]; |
| 814 |
|
} |
| 815 |
|
$this->response_code = $currentHeader; |
| 816 |
|
} |
| 817 |
|
|
| 818 |
|
if (preg_match("/Content-Encoding: gzip/", $currentHeader)) { |
| 819 |
|
$is_gzipped = true; |
|
@@ 976-981 (lines=6) @@
|
| 973 |
|
$this->_redirectaddr = $matches[2]; |
| 974 |
|
} |
| 975 |
|
|
| 976 |
|
if (preg_match("|^HTTP/|", $result_headers[$currentHeader])) { |
| 977 |
|
$this->response_code = $result_headers[$currentHeader]; |
| 978 |
|
if (preg_match("|^HTTP/[^\s]*\s(.*?)\s|", $this->response_code, $match)) { |
| 979 |
|
$this->status = $match[1]; |
| 980 |
|
} |
| 981 |
|
} |
| 982 |
|
|
| 983 |
|
$this->headers[] = $result_headers[$currentHeader]; |
| 984 |
|
} |