php定时执行

header("Content-Type: text/plain");
//http://blog.ddian.cn
set_time_limit(0);
 
$infoString = "Hello World" . "\n";
while( isset($infoString) )
{
        echo $infoString;
        flush();
        ob_flush();
        sleep(5);
}