Как закрыть соединение с пользователем в workerman?

#php #websocket Вопрос: Я хочу, чтобы, когда пользователь создает новое соединение с websocket (например, открывает новую вкладку), старое соединение автоматически прерывается со стороны сервера. В документации рабочий не нашел необходимой…