var websocket;
// 首先判断是否 支持 WebSocket
if('WebSocket' in window) {
if(stra==0){//我这边是两个端都要推送,判断下
websocket = new WebSocket("ws://120.76.209.107:8030/fxzcrafts/websocket?user_id=u"+user_id);
}else{
websocket = new WebSocket("ws://120.76.209.107:8030/fxzcrafts/websocket?user_id=c"+crafts_id);
}
} else if('MozWebSocket' in window) {
websocket = new MozWebSocket("ws://120.76.209.107:8030/fxzcrafts/websocket");
} else {
websocket = new SockJS("http://120.76.209.107:8030/fxzcrafts/sockjs/websocket");
}
websocket.onopen = function(evnt) {
console.log('ws clint:open websocket')
//发送消息
var obj = { "msgContent": "dran", "sex": "man" };
var jstring = JSON.stringify(obj) ;
console.log('ws clint:send msg:'+jstring)
websocket.send(jstring);
};
websocket.onmessage = function (evnt) {
if(evnt.data=="成功建立socket连接"){
}else{
if(stra==0){
list()
}else{
list1()
}
}
};
websocket.onerror = function (evnt) {
console.log('ws client:error '+evnt)
};
websocket.onclose = function (evnt) {
console.log('ws clent:close ')
}
if(receive_id!=undefined||receive_id!="undefined"||receive_id!=null||receive_id!="null"){
// history.go(0)
}