Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ ~Server
Method
~Server
MiniZincIDE/server.cpp:190–195 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
188
}
189
190
Server::~Server()
191
{
192
for (auto* c : connectors) {
193
delete c;
194
}
195
}
196
197
void Server::listen(quint16 httpPort, quint16 wsPort)
198
{
Callers
nothing calls this directly
Calls
no outgoing calls
Tested by
no test coverage detected