websocketを接続しなおす

websocketサーバーの方を修正した時にブラウザをリロードするのが面倒なので定期的にwebsocketのreadyStateを見てつなぎ直す

var ws = null;
var ws_connect_timer = setInterval(function(){
    if(ws == null || ws.readyState != 1){
        ws = new WebSocket("ws://localhost:8080");
        ws.onmessage = function(e){
            console.log(e.data);
        };
        ws.onclose = function(){
            $('#status').html("[websocket closed]");
        };
        ws.onopen = function(){
            $('#status').html("[ok]");
        };
    }
}, 5000);

5秒ごとに監視する