MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / webSocketClientDisconnected

Method webSocketClientDisconnected

MiniZincIDE/server.cpp:29–36  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

27}
28
29void VisConnector::webSocketClientDisconnected()
30{
31 auto* client = qobject_cast<QWebSocket*>(sender());
32 if (client) {
33 _clients.removeAll(client);
34 client->deleteLater();
35 }
36}
37
38void VisConnector::addWindow(const QString& key, const QString& url, const QJsonValue& userData)
39{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected