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