[PHP-DEV] Re: Suggestion for get_headers

2008-03-10 Thread Christian Schneider
Justin Martin wrote: headers generated by an HTTP request. The primary parameter to this, string $url, is provided unencoded. Due to this, any request with special characters (i.e. a space), will return 400 BAD REQUEST. My Garbage in, garbage out. It is up to you to provide it with a valid URL

[PHP-DEV] Re: Suggestion for get_headers

2008-03-09 Thread Justin Martin
Justin Martin wrote: Hi there, I have a suggestion regarding get_headers, however I do not have a knowledge of C with which to provide a patch. The function get_headers is, as most will know, used to retrieve headers generated by an HTTP request. The primary parameter to this, string $url,