minor js fix

This commit is contained in:
Devaev Maxim 2018-07-15 12:42:06 +03:00
parent 25ddee3fb1
commit ac9b1aef7e

View File

@ -33,6 +33,7 @@ var session = new function() {
var __wsErrorHandler = function(event) {
tools.error("WebSocket error:", event);
__ws.close();
__ws = null;
};
var __wsCloseHandler = function(event) {
@ -55,7 +56,10 @@ var session = new function() {
__ws.send(JSON.stringify({"event_type": "ping"}));
} catch (err) {
tools.error("Ping error:", err.message);
if (__ws) {
__ws.close();
__ws = null;
}
}
};
};