USB device stack; Added getter method for terminal_connected;

Fork of USBDevice by mbed official

Example of use:

#include "mbed.h"
#include "USBSerial.h"

USBSerial  pc;
DigitalOut blue_led(P0_20);

int main() {
    blue_led = 1;
    while(!pc.getTerminal_connected()); //Wait for serial terminal to connect...
    while(1) {
        blue_led = 0;
        wait(0.2);
        blue_led = 1;
        wait(0.2);
    }
}
Revision:
26:8ef73dd868a0
Parent:
25:7c72828865f3
Child:
28:c09a0c9bf425
diff -r 7c72828865f3 -r 8ef73dd868a0 USBDevice/USBDevice.cpp
--- a/USBDevice/USBDevice.cpp	Tue Jun 03 11:30:32 2014 +0100
+++ b/USBDevice/USBDevice.cpp	Thu Jun 12 10:15:32 2014 +0100
@@ -718,6 +718,11 @@
 {
     /* Disconnect device */
     USBHAL::disconnect();
+    
+    /* Set initial device state */
+    device.state = POWERED;
+    device.configuration = 0;
+    device.suspended = false;
 }
 
 CONTROL_TRANSFER * USBDevice::getTransferPtr(void)