Replaced "itti_send_terminate_message()" by "itti_terminate_tasks()" to terminates all ITTI tasks correctly.

git-svn-id: http://svn.eurecom.fr/openair4G/trunk@4733 818b1a75-f10b-46b9-bf7c-635c3b92a50f

targets/RTAI/USER/lte-enb.c

@@ -219,7 +219,7 @@ void exit_fun(const char *s)
   oai_exit=1;
 
 #if defined(ENABLE_ITTI)
-  itti_send_terminate_message (TASK_UNKNOWN);
+  itti_terminate_tasks (TASK_UNKNOWN);
 #endif
 
   //rt_sleep_ns(FRAME_PERIOD);

targets/RTAI/USER/lte-softmodem.c

@@ -244,7 +244,7 @@ void exit_fun(const char* s)
   oai_exit = 1;
 
 #if defined(ENABLE_ITTI)
-  itti_send_terminate_message (TASK_UNKNOWN);
+  itti_terminate_tasks (TASK_UNKNOWN);
 #endif
 
   //rt_sleep_ns(FRAME_PERIOD);