/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
{
simgrid::s4u::Mailbox* mailbox = simgrid::s4u::Mailbox::by_name("mailbox");
for (int i = 0; i < 3; i++) {
{
simgrid::s4u::Mailbox* mailbox = simgrid::s4u::Mailbox::by_name("mailbox");
for (int i = 0; i < 3; i++) {
XBT_INFO("Killing process \"%ld\".", *pid);
simgrid::s4u::Actor::by_pid(*pid)->kill();
}
XBT_INFO("Killing process \"%ld\".", *pid);
simgrid::s4u::Actor::by_pid(*pid)->kill();
}