[s4u] add kill actor with its PID

[simgrid.git] / src / s4u / s4u_actor.cpp

diff --git a/src/s4u/s4u_actor.cpp b/src/s4u/s4u_actor.cpp
index a220c8c..6c2f29c 100644 (file)
--- a/src/s4u/s4u_actor.cpp
+++ b/src/s4u/s4u_actor.cpp
@@ -53,6 +53,17 @@ double s4u::Actor::getKillTime() {
   return simcall_process_get_kill_time(pimpl_);
 }
 
+void s4u::Actor::kill(int PID) {
+  msg_process_t process = SIMIX_process_from_PID(PID);
+  if(process != NULL) {
+    simcall_process_kill(process);
+  } else {
+    std::ostringstream oss;
+    oss << "kill: ("<< PID <<") - No such process" << std::endl;
+    throw std::runtime_error(oss.str());
+  }
+}
+
 void s4u::Actor::kill() {
   simcall_process_kill(pimpl_);
 }