From ac9b1aef7eabe94a5f084b3bd77d7069ff95c5a1 Mon Sep 17 00:00:00 2001
From: Devaev Maxim <mdevaev@gmail.com>
Date: Sun, 15 Jul 2018 12:42:06 +0300
Subject: [PATCH] minor js fix

---
 kvmd/web/js/session.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/kvmd/web/js/session.js b/kvmd/web/js/session.js
index 31a76f68..c46d228e 100644
--- a/kvmd/web/js/session.js
+++ b/kvmd/web/js/session.js
@@ -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);
-			__ws.close();
+			if (__ws) {
+				__ws.close();
+				__ws = null;
+			}
 		}
 	};
 };