receiver1(ctrl_comm, ctrl_task, get_ctrl_mbox());
else if (finished_comm == data_comm)
receiver1(data_comm, data_task, get_data_mbox());
receiver1(ctrl_comm, ctrl_task, get_ctrl_mbox());
else if (finished_comm == data_comm)
receiver1(data_comm, data_task, get_data_mbox());
- else {
- XBT_ERROR("Handling unknown comm -- %p", finished_comm);
- MSG_comm_destroy(finished_comm);
- }
+ else
+ THROW1(0, 0, "Cannot handle unknown comm -- %p", finished_comm);