manager_pid); fire(Event::SERVER_MANAGER_START, [$server]); name($server->manager_pid); } }