manager_pid); fire(Event::SERVER_MANAGER_START, [$server]); name('Server Manager.'); } }