Estou usando o curl para chamar uma API de serviço da web. O serviço pode não responder, portanto, desejo definir um tempo limite. Quando eu uso CURLOPT_TIMEOUT, as coisas funcionam conforme o esperado. Mas quando eu uso CURLOPT_TIMEOUT_MS (observe o 'MS' por milissegundos), o tempo limite parece não ter aparecido. php.net me diz que o último estava disponível desde a versão 5.2.3 do PHP, e estou usando o 5.2.6.

Alguma idéia porque isso está acontecendo?

Obrigado.

Fragmento de código:

$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);