ws.onclose = function() { // websocket is closed. };

someone reformatted the code without checking...