...
// 添加定时任务 function addtasks() { global $timer_id; global $a_switching_time; echo "a_switching_time"; echo $a_switching_time."\n"; echo $timer_id."\n"; echo 789; // 每2.5秒执行一次 // ...