-void sg_host_exit()
-{
- /* copy all names to not modify the map while iterating over it.
- *
- * Plus, the hosts are destroyed in the lexicographic order to ensure
- * that the output is reproducible: we don't want to kill them in the
- * pointer order as it could be platform-dependent, which would break
- * the tests.
- */
- std::vector<std::string> names = std::vector<std::string>();
- for (auto kv : host_list)
- names.push_back(kv.second->name());
-
- std::sort(names.begin(), names.end());
-
- for (auto name : names)
- host_list.at(name)->destroy();
-
- // host_list.clear(); This would be sufficient if the dict would contain smart_ptr. It's now useless
-}
-