destination = (char*)MSG_task_get_data (task);
if (!destination) break; //there is no destination, die
XBT_INFO("Migrating to %s", destination);
destination = (char*)MSG_task_get_data (task);
if (!destination) break; //there is no destination, die
XBT_INFO("Migrating to %s", destination);