title: Why would curl ignore CURLOPT_TIMEOUT_MS (but honor CURLOPT_TIMEOUT)?
body: <p>I am using curl to call a web service API. The service can unresponsive so I want to set a timeout. When I use CURLOPT_TIMEOUT things work as expected. But when I use CURLOPT_TIMEOUT_MS (note the 'MS' for milliseconds) the timeout doesn't appear to kick in at all. php.net tells me that the latter was available since PHP version 5.2.3, and I am using 5.2.6.</p>
  
  <p>Any ideas why this is happening?</p>
  
  <p>Thanks.</p>
  
  <p>Code fragment:</p>
  
  <pre><code>$c = curl_init();
  curl_setopt( $c, CURLOPT_URL, $call );
  curl_setopt( $c, CURLOPT_HTTPHEADER, $headers); 
  curl_setopt( $c, CURLOPT_HEADER, false );
  curl_setopt( $c, CURLOPT_RETURNTRANSFER, true );
  curl_setopt( $c, CURLOPT_TIMEOUT_MS, 100 ); 
  curl_setopt( $c, CURLOPT_CONNECTIONTIMEOUT_MS, 100 ); 
  $result = curl_exec($c);
  curl_close($c);
  </code></pre>