Changeset 717 for soft/giet_vm/giet_kernel

Timestamp:

Oct 7, 2015, 1:35:58 PM (10 years ago)

Author:

alain

Message:

Cosmetic.

File:

• soft/giet_vm/giet_kernel/sys_handler.c (modified) (1 diff)

soft/giet_vm/giet_kernel/sys_handler.c

@@ -972 +972 @@
     if ( string == NULL )
     {
-        _printf("\n[GIET WARNING] Exit thread %x in vspace %s\n",
-                trdid , vspace[vsid].name );
+        _user_printf("\n[GIET WARNING] Exit thread %x in application %s\n",
+                     trdid , vspace[vsid].name );
     }
     else
     {
-        _printf("\n[GIET WARNING] Exit thread %x in vspace %s\n"
-                "               Cause : %s\n\n",
-                trdid , vspace[vsid].name , (char*) string );
+        _user_printf("\n[GIET WARNING] Exit thread %x in vspace %s\n"
+                     "               Cause : %s\n\n",
+                     trdid , vspace[vsid].name , (char*) string );
     }