[PHP-DEV] PHP 4.0 Bug #10082: curl_setopt with CURLOPT_HTTPHEADER option is broken

2001-03-30 Thread rooneg
From: [EMAIL PROTECTED] Operating system: FreeBSD 4.3 PHP version: 4.0 Latest CVS (30/03/2001) PHP Bug Type: Bug description: curl_setopt with CURLOPT_HTTPHEADER option is broken The CURLOPT_HTTPHEADER option for curl_setopt does not currently work correctly. in the

[PHP-DEV] PHP 4.0 Bug #10082 Updated: curl_setopt with CURLOPT_HTTPHEADER option is broken

2001-03-30 Thread rooneg
ID: 10082 User Update by: [EMAIL PROTECTED] Status: Open Old-Bug Type: Bug Type: *General Issues Description: curl_setopt with CURLOPT_HTTPHEADER option is broken Another thing that occured to me: The later crash could be missed if you haven't set a User-Agent header yourself. When i set