@@ -443,8 +443,13 @@ int itti_send_msg_to_task(task_id_t destination_task_id, instance_t instance, Me
else
{
/* We cannot send a message if the task is not running */
AssertFatal(itti_desc.threads[destination_thread_id].task_state==TASK_STATE_READY,"Cannot send message %d to thread %d, it is not in ready state (%d)!\n",