PHP curl erreur de dépassement de délai de détection

J'utilise curl pour effectuer une requête HTTP comme ceci:

$ch = curl_init();
$timeout = 5;
curl_setopt($ch,CURLOPT_URL,$url);
curl_setopt($ch,CURLOPT_RETURNTRANSFER,1);
curl_setopt($ch,CURLOPT_CONNECTTIMEOUT,$timeout);

$data = curl_exec($ch);
curl_close($ch);

Comment puis-je vérifier si une erreur s'est produite, et si c'était une erreur de dépassement de délai?

  • Curl ou Divergence?