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

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

diff --git a/src/kernel/activity/SynchroRaw.hpp b/src/kernel/activity/SynchroRaw.hpp
index c96dd4a6fdf1a4f49f441e9538658f819a984d06..91158611f0308cc1bf2918e93655d76a2986213c 100644 (file)
--- a/src/kernel/activity/SynchroRaw.hpp
+++ b/src/kernel/activity/SynchroRaw.hpp
@@ -17,9 +17,11 @@ namespace activity {
 class XBT_PUBLIC RawImpl : public ActivityImpl {
 public:
   ~RawImpl() override;
+  RawImpl* start(s4u::Host* host, double timeout);
   void suspend() override;
   void resume() override;
   void post() override;
+  void finish() override;
 };
 }}} // namespace simgrid::kernel::activity