graffiti on the web 以前、macでのhostsファイルの編集方法を紹介しましたが、hostsの切り替えに便利なツールがありましたので、それを紹介します。
hoster
このソフトを使えば、ターミナル上から、hostsファイルを編集する必要がなく、GUIの操作だけでhostsを変更することが可能です。頻繁にhostsの設定を変更する必要がある方にとっては、とても重宝するのではないでしょうか。…
参考元：http://www.enbridge.jp/blog/2007/08/17232951.php
<?php
echo "処理を開始します。しばらくお待ちください...<br />n";
echo str_pad(" ",4096)."<br />n";
ob_end_flush();
ob_start('mb_output_handler');
for ( $i = 1; $i <= 10; $i++ ) {
sleep( 5 ); // 時間がかかる処理
echo $i * 10 ."件の処理を完了しました<br />n";
ob_flush();
flush();
}
echo "処理が完了しました<br />n";
?>
この投稿へのコメント
コメントはまだありません。