From 6f64864e8bd2fcdebe8017bb18b66071f7a7d4e4 Mon Sep 17 00:00:00 2001
From: MarcoSulla <github@marco.sulla.e4ward.com>
Date: Wed, 10 Feb 2016 16:36:34 +0100
Subject: [PATCH] Close websocket before destruction

As title
---
 WebSocket.js | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/WebSocket.js b/WebSocket.js
index 71920dd..9d1fe78 100644
--- a/WebSocket.js
+++ b/WebSocket.js
@@ -556,5 +556,21 @@ Ext.define('Ext.ux.data.proxy.WebSocket', {
 
             opt.setSuccessful(true);
         }
-    }
+    },
+    destroy: function () {
+        /**
+         *  @author Marco Sulla (marcosullaroma@gmail.com)
+         *  @date Feb 10, 2016
+         */
+        
+        var self = this;
+        
+        var ws = self.getWebsocket();
+        
+        ws.onclose = function (e) {
+            self.callParent(arguments);
+        };
+        
+        ws.close();
+    },
 });