diff options
author | dAniel hAhler <php-openid@thequod.de> | 2008-06-22 14:15:37 +0000 |
---|---|---|
committer | dAniel hAhler <php-openid@thequod.de> | 2008-06-22 14:15:37 +0000 |
commit | 0863aed5f17a305673dc22588306c62d9c705885 (patch) | |
tree | e5a4f596a60b27a5e8e47bbc0a876ef4ed8dbe28 /Auth | |
parent | e3e8e11b3e268d78772b6adc733a15ac0a73853b (diff) | |
download | php-openid-0863aed5f17a305673dc22588306c62d9c705885.zip php-openid-0863aed5f17a305673dc22588306c62d9c705885.tar.gz php-openid-0863aed5f17a305673dc22588306c62d9c705885.tar.bz2 |
[project @ ParanoidHTTPFetcher-strpos-instead-of-preg_match-and-code-improvements]
ParanoidHTTPFetcher:
- Fix corner case in get() and post() for headers without any value
(e.g. 'Expires:')
- Use strpos() instead of preg_match() when looking for ":" (and
look for ": " now instead)
Diffstat (limited to 'Auth')
-rw-r--r-- | Auth/Yadis/ParanoidHTTPFetcher.php | 20 |
1 files changed, 6 insertions, 14 deletions
diff --git a/Auth/Yadis/ParanoidHTTPFetcher.php b/Auth/Yadis/ParanoidHTTPFetcher.php index 8f312a1..8975d7f 100644 --- a/Auth/Yadis/ParanoidHTTPFetcher.php +++ b/Auth/Yadis/ParanoidHTTPFetcher.php @@ -153,13 +153,9 @@ class Auth_Yadis_ParanoidHTTPFetcher extends Auth_Yadis_HTTPFetcher { $new_headers = array(); foreach ($headers as $header) { - if (preg_match("/:/", $header)) { - $parts = explode(": ", $header, 2); - - if (count($parts) == 2) { - list($name, $value) = $parts; - $new_headers[$name] = $value; - } + if (strpos($header, ': ')) { + list($name, $value) = explode(': ', $header, 2); + $new_headers[$name] = $value; } } @@ -211,15 +207,11 @@ class Auth_Yadis_ParanoidHTTPFetcher extends Auth_Yadis_HTTPFetcher { curl_close($c); - if ($extra_headers === null) { - $new_headers = null; - } else { - $new_headers = $extra_headers; - } + $new_headers = $extra_headers; foreach ($this->headers as $header) { - if (preg_match("/:/", $header)) { - list($name, $value) = explode(": ", $header, 2); + if (strpos($header, ': ')) { + list($name, $value) = explode(': ', $header, 2); $new_headers[$name] = $value; } |