public function onWorkerStop($serv, $worker_id) { echo "WorkerStop[{$worker_id}]|pid=" . $serv->worker_pid . ".\n"; }