workerman只会重新连接一次

function connect() {
       ws = new WebSocket("ws://"+document.domain+":7272");
       ws.onopen = onopen;
       ws.onmessage = onmessage;
       ws.onclose = function() {
          connect();
       };
}