Forked.

Fork of mbed-dev by mbed official

Revision:
174:ed647f63e28d
Parent:
167:e84263d55307
--- a/platform/mbed_error.c	Fri Sep 15 14:59:18 2017 +0100
+++ b/platform/mbed_error.c	Tue Dec 19 12:50:13 2017 +0000
@@ -39,5 +39,5 @@
     mbed_error_vfprintf(format, arg);
     va_end(arg);
 #endif
-    exit(1);
+    //exit(1);
 }