WebSocket Mbed Server

The mbed websocket server has now been shut down.