X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/96cedde3cdbc0b8ffc3f096a1b65d021b0226f99..702d0b8f5973b3f1ce01e0f334842a5279fb17d9:/src/kernel/EngineImpl.cpp diff --git a/src/kernel/EngineImpl.cpp b/src/kernel/EngineImpl.cpp index ad9b5e1be6..3a96a578de 100644 --- a/src/kernel/EngineImpl.cpp +++ b/src/kernel/EngineImpl.cpp @@ -10,29 +10,16 @@ #include "src/surf/StorageImpl.hpp" #include "src/surf/network_interface.hpp" -#include - namespace simgrid { namespace kernel { -EngineImpl::EngineImpl() = default; EngineImpl::~EngineImpl() { - /* 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. + /* Since hosts_ is a std::map, the hosts are destroyed in the lexicographic order, which ensures that the output is + * reproducible. */ - std::vector names; - for (auto const& kv : hosts_) - names.push_back(kv.second->get_name()); - - std::sort(names.begin(), names.end()); - - for (auto const& name : names) - hosts_.at(name)->destroy(); + while (not hosts_.empty()) + hosts_.begin()->second->destroy(); /* Also delete the other data */ delete netzone_root_;