php_header関数がハングしている場合にkillする

Question

私のサーバ接続のために、いくつかのURLをチェックしようとすると、ホストがターゲットサーバに到達できませんでした。いったん届かないと、PHPがちょうど立ち往生したものを返さなかった。私はスタックされている場合、接続を殺すことができるようにPHPファイルのどこにKILLコマンドを追加したいと思います。特定の時間の後に接続を切断するとにかくありますか？またはこの問題を解決するためのifコマンドまたは他のコマンド私はこのコマンドを、ヘッダコマンドtimeout -s KILL 10を実行する前に追加したいと思います。

私のコードは次のとおりです。

<?php 

function UR_exists($url){ 
    $headers=get_headers($url); 
    return stripos($headers[0],"200 OK")?true:false; 
} 

if(UR_exists("https://www.uni-hohenheim.de/fileadmin/einrichtungen/apo/Hauptseminar_Agraroekonomie_12/Simeon_Ehui_World_Bank.pptx")) 
    echo "file exists"; 
else 
    echo "file does not exist"; 

?> 

Answer 1

そうな、より良いだけではなく、アラーム+殺すを設定しようとするよりも、タイムアウトを設定します。タイムアウトを設定すると、作業が簡単になります。

Setting get_headers() timeoutには、これを行う方法に関する詳細が記載されています。

Answer 2

$original_default_context = stream_context_set_default(["http" => ["timeout" => 10]]); 
$headers = get_headers($url); 
stream_context_set_default($original_default_context); 

これは10秒間ハングし、次に接続を強制終了します。