instance().servers_.erase(instance().servers_.find(server));
}
+prefix_ senf::console::detail::ServerManager & senf::console::detail::ServerManager::instance()
+{
+ static ServerManager manager;
+ return manager;
+}
+
///////////////////////////////////////////////////////////////////////////
// senf::console::detail::NonblockingSocketSink