Ich führe eine Curl-Anfrage in einer eXist-Datenbank über PHP aus. Das Dataset ist sehr groß, und daher benötigt die Datenbank durchweg viel Zeit, um eine XML-Antwort zurückzugeben. Um dies zu beheben, haben wir eine Curl-Anfrage mit einer angeblich langen Zeitüberschreitung eingerichtet.
$ch = curl_init();
$headers["Content-Length"] = strlen($postString);
$headers["User-Agent"] = "Curl/1.0";
curl_setopt($ch, CURLOPT_URL, $requestUrl);
curl_setopt($ch, CURLOPT_HEADER, false);
curl_setopt($ch, CURLOPT_HTTPHEADER, $headers);
curl_setopt($ch, CURLOPT_RETURNTRANSFER, true);
curl_setopt($ch, CURLOPT_USERPWD, 'admin:');
curl_setopt($ch,CURLOPT_TIMEOUT,1000);
$response = curl_exec($ch);
curl_close($ch);
Die Curl-Anforderung endet jedoch konsistent, bevor die Anforderung abgeschlossen ist (<1000, wenn sie über einen Browser angefordert wird). Weiß jemand, ob dies der richtige Weg ist, um Timeouts in Curl zu setzen?
set_time_limit(0);
wenn das Skript auf der Konsole ausgeführt wird.