plug leak

diff --git a/src/kernel/EngineImpl.cpp b/src/kernel/EngineImpl.cpp
index 3a96a57..a4405ff 100644 (file)
--- a/src/kernel/EngineImpl.cpp
+++ b/src/kernel/EngineImpl.cpp
@@ -7,6 +7,7 @@
 #include "simgrid/kernel/routing/NetPoint.hpp"
 #include "simgrid/kernel/routing/NetZoneImpl.hpp"
 #include "simgrid/s4u/Host.hpp"
 #include "simgrid/kernel/routing/NetPoint.hpp"
 #include "simgrid/kernel/routing/NetZoneImpl.hpp"
 #include "simgrid/s4u/Host.hpp"

+#include "src/kernel/resource/DiskImpl.hpp"

 #include "src/surf/StorageImpl.hpp"
 #include "src/surf/network_interface.hpp"
 
 #include "src/surf/StorageImpl.hpp"
 #include "src/surf/network_interface.hpp"
 


@@ -26,6 +27,10 @@ EngineImpl::~EngineImpl()
   for (auto const& kv : netpoints_)
     delete kv.second;
 
   for (auto const& kv : netpoints_)
     delete kv.second;
 

+  for (auto const& kv : disks_)
+    if (kv.second)
+      kv.second->get_impl()->destroy();
+

   for (auto const& kv : storages_)
     if (kv.second)
       kv.second->get_impl()->destroy();
   for (auto const& kv : storages_)
     if (kv.second)
       kv.second->get_impl()->destroy();