mbed library sources. Supersedes mbed-src. Fixed broken STM32F1xx RTC on rtc_api.c

Dependents:   Nucleo_F103RB_RTC_battery_bkup_pwr_off_okay

Fork of mbed-dev by mbed official

Revision:
175:af195413fb11
Parent:
174:b96e65c34a4d
diff -r b96e65c34a4d -r af195413fb11 drivers/SerialBase.cpp
--- a/drivers/SerialBase.cpp	Mon Oct 02 15:33:19 2017 +0100
+++ b/drivers/SerialBase.cpp	Wed Oct 11 12:45:49 2017 +0100
@@ -133,6 +133,16 @@
     // Stub
 }
 
+SerialBase::~SerialBase()
+{
+    // No lock needed in destructor
+
+    // Detaching interrupts releases the sleep lock if it was locked
+    for (int irq = 0; irq < IrqCnt; irq++) {
+        attach(NULL, (IrqType)irq);
+    }
+}
+
 #if DEVICE_SERIAL_FC
 void SerialBase::set_flow_control(Flow type, PinName flow1, PinName flow2) {
     lock();