phpの処理を中断する方法を教えてください。
PEARのHTTP_Requestを用いて,指定したURLのHTMLを読み込むというプログラムをPHPで組んでいます。
一部のサイト(以下のソース内の$urlに格納したURLなど)は,サイト自体が重いせいなのか,表示にとても時間がかかってしまいます。
『表示にある一定の時間以上かかる場合は読み込みを中止したい(別処理をしたい)』のですが,どのように書けばよろしいでしょうか。
$optionでHTTP_Requestのタイムアウトを指定しても,その時間でタイムアウトしませんでした。
set_time_limit()を使って実行可能な秒数を指定しようかとも考えたのですが,読み込み中止後に別処理をしたいので,何か良い方法はないかと悩んでいます。
初歩的な問題なのかもしれませんが,開発経験が少ないため解決策がわかりません。是非宜しくお願い致します。
------------------ソース------------------
<?php
require_once "HTTP/Request.php";
$url = "http://bmw.jugem.cc/?search=%C3%E6%B9%F1&mySearch=";
$option = array("timeout" => "20");
// HTTP_Requestの初期化
$http = new HTTP_Request($url, $option);
// HTTPのヘッダー設定
$http->addHeader("User-Agent", "My PEAR PROGRAM");
$http->addHeader("Referer", "http://www.yahoo.co.jp/");
// HTTPリクエスト実行
$response = $http->sendRequest();
if (!PEAR::isError($response)) {
$ret1 = $http->getResponseCode();// ResponseCode(200等)を取得
$ret2 = $http->getResponseHeader();// ResponseHeader(レスポンスヘッダ)を取得
$ret3 = $http->getResponseBody();// ResponseBody(レスポンステキスト)を取得
$ret4 = $http->getResponseCookies();// クッキーを取得
}
echo $ret3;
?>
------------------ソース------------------