// The owner did not change, hence the task should be only destroyed on the other side
xbt_free(finalize_task_name);
return 0;
// The owner did not change, hence the task should be only destroyed on the other side
xbt_free(finalize_task_name);
return 0;