Update web-sockets.js