static void worker()
{
- std::string* payload;
+ const std::string* payload;
simgrid::s4u::Mailbox* mailbox = simgrid::s4u::Mailbox::by_name("jupi");
- while (1) {
+ while (true) {
try {
payload = static_cast<std::string*>(mailbox->get());
- } catch (simgrid::HostFailureException&) {
+ } catch (const simgrid::HostFailureException&) {
XBT_DEBUG("The host has been turned off, this was expected");
return;
}
payload = new std::string("task off");
try {
mailbox->put_async(payload, 1E6)->wait_for(1);
- } catch (simgrid::TimeoutException&) {
+ } catch (const simgrid::TimeoutException&) {
delete payload;
}
payload = new std::string("task on without actor");
try {
mailbox->put_async(payload, 1E6)->wait_for(1);
- } catch (simgrid::TimeoutException&) {
+ } catch (const simgrid::TimeoutException&) {
delete payload;
}
payload = new std::string("task on with actor");
try {
mailbox->put_async(payload, 1E6)->wait_for(1);
- } catch (simgrid::TimeoutException&) {
+ } catch (const simgrid::TimeoutException&) {
delete payload;
}
payload = new std::string("finalize");
try {
mailbox->put_async(payload, 0)->wait_for(1);
- } catch (simgrid::TimeoutException&) {
+ } catch (const simgrid::TimeoutException&) {
delete payload;
}