morozovsk\websocket\Server::restart PHP Méthode

    public function restart()
    {
        $pid = @file_get_contents($this->config['pid']);
        if ($pid) {
            $this->stop();
        }
        $this->start();
    }