Sample code of websocket on tornado