123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566 |
- import WebSocketClient from "./clients/WebSocketClient.js";
- import { log } from "./utils/log.js";
- var Client =
- typeof __webpack_dev_server_client__ !== "undefined" ? typeof __webpack_dev_server_client__.default !== "undefined" ? __webpack_dev_server_client__.default : __webpack_dev_server_client__ : WebSocketClient;
- var retries = 0;
- var maxRetries = 10;
- export var client = null;
- var socket = function initSocket(url, handlers, reconnect) {
- client = new Client(url);
- client.onOpen(function () {
- retries = 0;
- if (typeof reconnect !== "undefined") {
- maxRetries = reconnect;
- }
- });
- client.onClose(function () {
- if (retries === 0) {
- handlers.close();
- }
-
- client = null;
-
- if (retries < maxRetries) {
-
-
-
- var retryInMs = 1000 * Math.pow(2, retries) + Math.random() * 100;
- retries += 1;
- log.info("Trying to reconnect...");
- setTimeout(function () {
- socket(url, handlers, reconnect);
- }, retryInMs);
- }
- });
- client.onMessage(
-
- function (data) {
- var message = JSON.parse(data);
- if (handlers[message.type]) {
- handlers[message.type](message.data, message.params);
- }
- });
- };
- export default socket;
|