mbed library sources

Fork of mbed-src by mbed official

Revision:
269:0e58554f11d5
Parent:
251:de9a1e4ffd79
Child:
284:859ffaa7c331
--- a/common/retarget.cpp	Tue Jul 29 19:00:07 2014 +0100
+++ b/common/retarget.cpp	Thu Jul 31 13:45:07 2014 +0100
@@ -227,6 +227,7 @@
     if (fh < 3) {
         // only read a character at a time from stdin
 #if DEVICE_SERIAL
+        if (!stdio_uart_inited) init_serial();
         *buffer = serial_getc(&stdio_uart);
 #endif
         n = 1;