ブラウザが中止ボタンを押したときの処理。ignore_user_abort() はデフォルトではfalse、すなわち自動的に止まるようになっている。
しかし、接続が中断されたかどうかは「何か出力するタイミングで」ないと確認しない。自動じゃなくて手動になる…。
とりあえずこのコードで中断できることを確認した。
echo "\n"; // 単にechoしただけではダメ
flush(); // ignore_user_abort=false ならここで終了
if (connection_aborted()){ // ignore_user_abort=true の場合
exit;
}
他の言語ではどうなってるんだろ。