Don't give actors a chance to survive their exec if their host is turned off

[simgrid.git] / src / kernel / activity / SleepImpl.hpp

diff --git a/src/kernel/activity/SleepImpl.hpp b/src/kernel/activity/SleepImpl.hpp
index eab5d22de5953f231f04a887fb38fbaa9ecd79d8..5ab94f84601a04209f7bbe44978f2cdffa447f34 100644 (file)
--- a/src/kernel/activity/SleepImpl.hpp
+++ b/src/kernel/activity/SleepImpl.hpp
@@ -17,8 +17,9 @@ class XBT_PUBLIC SleepImpl : public ActivityImpl {
   ~SleepImpl() override;
 
 public:
-  explicit SleepImpl(std::string name, s4u::Host* host) : ActivityImpl(name), host_(host) {}
+  explicit SleepImpl(std::string name, s4u::Host* host) : ActivityImpl(std::move(name)), host_(host) {}
   void post() override;
+  void finish() override;
   SleepImpl* start(double duration);
 
   sg_host_t host_ = nullptr;