spring websocket自动断开连接再创建引发的问题解决方案

问题：由于 web session 超时时间为 30 分钟，如用户在 web session 规定时间内没有退出系统，但由于其它原因 用户却断开的 websocket 的连接，如果用户还要聊天或是其它 websocket 方面的操作，那么就只能重新连接...

看代码：

var socket;
var $ = function() {
    return document.getElementById(arguments[0]);
}
var log = function(msg) {
    $("log").innerHTML ? $("log").innerHTML += "<br />" + msg : $("log").innerHTML = msg;
}
var initWebSocket = function() {
    if (window.WebSocket) {
        socket = new WebSocket("ws://127.0.0.1:8080/websocket");
        socket.onmessage = function(event) {
            var json = JSON.parse(event.data);
            document.getElementById("message").value = json.message;
        };
        socket.onopen = function(event) {
            log("Web Socket opened!");
        };
        socket.onclose = function(event) {
            log("Web Socket closed.");
        };
        socket.onerror = function(event) {
            log("Web Socket error.");
        };
    } else {
        log("Your browser does not support Web Socket.");
    }
}
var send = function() {
    var data = function() {
        socket.send("{'send':1,'take':2,'message':" + Math.random() + "}");
    };
    if (socket.readyState !== 1) {
        socket.close();
        initWebSocket();
        setTimeout(function() {
            data();
        }, 250);
    } else {
        data();
    };
 
}
window.onload = function() {
    initWebSocket();
}