mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
30:748c8b6e75b1
Parent:
0:9b334a45a8ff
--- a/common/InterruptIn.cpp	Thu Nov 26 13:15:10 2015 +0000
+++ b/common/InterruptIn.cpp	Thu Nov 26 13:30:11 2015 +0000
@@ -44,6 +44,7 @@
         _rise.attach(fptr);
         gpio_irq_set(&gpio_irq, IRQ_RISE, 1);
     } else {
+        _rise.attach(NULL);
         gpio_irq_set(&gpio_irq, IRQ_RISE, 0);
     }
 }
@@ -53,6 +54,7 @@
         _fall.attach(fptr);
         gpio_irq_set(&gpio_irq, IRQ_FALL, 1);
     } else {
+        _fall.attach(NULL);
         gpio_irq_set(&gpio_irq, IRQ_FALL, 0);
     }
 }