PHP 中止ボタンでスクリプトを止める

ブラウザが中止ボタンを押したときの処理。ignore_user_abort() はデフォルトではfalse、すなわち自動的に止まるようになっている。

しかし、接続が中断されたかどうかは「何か出力するタイミングで」ないと確認しない。自動じゃなくて手動になる…。

とりあえずこのコードで中断できることを確認した。

echo "\n"; // 単にechoしただけではダメ
flush(); // ignore_user_abort=false ならここで終了
if (connection_aborted()){ // ignore_user_abort=true の場合
    exit;
}

他の言語ではどうなってるんだろ。