void flush
PHP および PHP が使っている (CGI, Web サーバなどの) バックエンド の出力バッファをフラッシュします。実際には、それまでのすべての 出力をユーザのブラウザに対して吐き出そうとします。