Diff: rtx/TARGET_CORTEX_M/RTX_Conf_CM.c

Revision:

113:d9366c711a75

Parent:

112:53ace74b190c

Child:

118:6635230e06ba

--- a/rtx/TARGET_CORTEX_M/RTX_Conf_CM.c	Thu May 05 20:45:13 2016 +0100
+++ b/rtx/TARGET_CORTEX_M/RTX_Conf_CM.c	Thu May 05 22:00:15 2016 +0100
@@ -357,18 +357,17 @@
 extern void error(const char* format, ...);
 extern osThreadId svcThreadGetId (void);
 
-#include "stdio.h"
-
 void os_error (uint32_t err_code) {
     /* This function is called when a runtime error is detected. Parameter     */
     /* 'err_code' holds the runtime error code (defined in RTX_Config.h).      */
     osThreadId err_task = svcThreadGetId();
-    error("CMSIS RTX error code: 0x%08X, task ID: 0x%08X\n", err_code, (uint32_t)err_task);
+    error("RTX error code: 0x%08X, task ID: 0x%08X\n", err_code, err_task);
 }
 
 void sysThreadError(osStatus status) {
     if (status != osOK) {
-        mbed_die();
+        osThreadId err_task = svcThreadGetId();
+        error("CMSIS-RTOS error status: 0x%08X, task ID: 0x%08X\n", status, err_task);
     }
 }