microboard-ui-temp 0.1.141 → 0.1.142
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
@@ -356983,7 +356983,7 @@ function createWsClient(msgHandler, setConnectionErrorTimeout, onError, getCurre
|
|
|
356983
356983
|
connect2();
|
|
356984
356984
|
}, WS_RECONNECT_TIMEOUT);
|
|
356985
356985
|
}
|
|
356986
|
-
const pingMsg =
|
|
356986
|
+
const pingMsg = { type: "ping" };
|
|
356987
356987
|
function keepAlivePing() {
|
|
356988
356988
|
const board = getCurrentBoard();
|
|
356989
356989
|
if (isConnected() && !board?.getBoardId().includes("local") && !board?.getBoardId().includes("welcome")) {
|
package/dist/example.html
CHANGED
|
@@ -32,7 +32,7 @@
|
|
|
32
32
|
/>
|
|
33
33
|
|
|
34
34
|
<link rel="stylesheet" crossorigin href="/chunk-zvtc1yhk.css"><script src="/env.js"></script>
|
|
35
|
-
<script type="module" crossorigin src="/chunk-
|
|
35
|
+
<script type="module" crossorigin src="/chunk-vksxgvsg.js"></script></head>
|
|
36
36
|
|
|
37
37
|
<body
|
|
38
38
|
style="
|
package/dist/index.js
CHANGED
|
@@ -356983,7 +356983,7 @@ function createWsClient(msgHandler, setConnectionErrorTimeout, onError, getCurre
|
|
|
356983
356983
|
connect2();
|
|
356984
356984
|
}, WS_RECONNECT_TIMEOUT);
|
|
356985
356985
|
}
|
|
356986
|
-
const pingMsg =
|
|
356986
|
+
const pingMsg = { type: "ping" };
|
|
356987
356987
|
function keepAlivePing() {
|
|
356988
356988
|
const board = getCurrentBoard();
|
|
356989
356989
|
if (isConnected() && !board?.getBoardId().includes("local") && !board?.getBoardId().includes("welcome")) {
|
package/dist/spa.js
CHANGED
|
@@ -356983,7 +356983,7 @@ function createWsClient(msgHandler, setConnectionErrorTimeout, onError, getCurre
|
|
|
356983
356983
|
connect2();
|
|
356984
356984
|
}, WS_RECONNECT_TIMEOUT);
|
|
356985
356985
|
}
|
|
356986
|
-
const pingMsg =
|
|
356986
|
+
const pingMsg = { type: "ping" };
|
|
356987
356987
|
function keepAlivePing() {
|
|
356988
356988
|
const board = getCurrentBoard();
|
|
356989
356989
|
if (isConnected() && !board?.getBoardId().includes("local") && !board?.getBoardId().includes("welcome")) {
|