From 7ede44bc00aeb449649160de21d4f991245cf070 Mon Sep 17 00:00:00 2001 From: Amish Shah Date: Thu, 29 Dec 2016 00:27:40 +0000 Subject: [PATCH] Add CloseEvent external --- src/client/websocket/WebSocketManager.js | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/client/websocket/WebSocketManager.js b/src/client/websocket/WebSocketManager.js index 985105713..b67af5993 100644 --- a/src/client/websocket/WebSocketManager.js +++ b/src/client/websocket/WebSocketManager.js @@ -229,6 +229,11 @@ class WebSocketManager extends EventEmitter { this.sequence = -1; } + /** + * @external CloseEvent + * @see {@link https://developer.mozilla.org/en-US/docs/Web/API/CloseEvent} + */ + /** * Run whenever the connection to the gateway is closed, it will try to reconnect the client. * @param {CloseEvent} event The WebSocket close event