Description:
------------
When requesting a file from a bad IP (in this case 127.0.0.1, with no Web server running) cURL fails to retreive a page (as expected.)  curl_errno() returns an error code of 7, but curl_error returns NULL.

Reproduce code:
---------------
<?php

$ch = curl_init();
curl_setopt($ch, CURLOPT_CONNECTTIMEOUT, 1);
curl_setopt($ch, CURLOPT_URL, 'http://127.0.0.1');
$result = curl_exec($ch);

print('Error code: '.curl_errno($ch)."\n");
print('Error message: '.curl_error($ch)."\n");

 ?>


Expected result:
----------------
7
Failed to connect (or some such error)

Actual result:
--------------
7