Description:
------------
If you get a wrong url and get the content type via curl_getinfo($ch, CURLINFO_CONTENT_TYPE); the cURL extention crashes with a segfault.



patch:
1213c1213,1215
<                       RETURN_STRING(s_code, 1);
---
>                       if (s_code){
>                               RETURN_STRING(s_code, 1);
>                       }


Regards,

Steve

Reproduce code:
---------------
<?php
$ch = curl_init ('http://www.totallywrongdomain.com/');
if ($ch){
	$result=curl_exec ($ch);
	$returnvalue['content_type']=curl_getinfo($ch, CURLINFO_CONTENT_TYPE);
	curl_close ($ch);
}
?>