This video demonstrates how to use websockets with ARM mbed devices. First you setup a tornado websocket server in python, then use a webpage with javascript websockets to verify the server is working, and finally use an ARM mbed enabled device to connect to the server using websockets.
The websocket server is a simple reverse echo server, anything you send to it it will send back to you. The default port is 8888. Since websockets are based on http connections the server accepts websocket connections at the address ws://--serverIP--/ws .
The webpage referenced in this video can be found here : https://developer.mbed.org/cookbook/Websockets-Server .
