ignore_user_abort(1) 且set_time_limit(0)然后设置了无限循环，怎么终止呢

ignore_user_abort(0); // run script in background 
set_time_limit(0); // run script forever 
$interval=2; // do every 15 minutes... 
do{ 
	$data = '1
';
	file_put_contents('./test.html',$data,FILE_APPEND);
    sleep($interval); // wait 15 minutes 
}while(true); 

$pid = getmypid();
ignore_user_abort(0);
set_time_limit(0);  
$interval=200; 
do{ 
    echo "$pid"; //获取pid
    sleep($interval);
}while(true);