Well you don't need that file in order to use websockets.
you can use
ws = new WebSocket('ws://localhost:8888/ws');
ws.onopen = function (str) {
console.log("Someone sent: ", str);
};
I had the same doubt when I switch from node.js to Tornado.
Hope it helps