ui: fix worker types

This commit is contained in:
undefined committed 2022-08-31 13:03:56 +08:00
1 parent ccb380852f
commit fd8c0c373b
3 files changed
+10 -2

No files matched your search

@@ -1,4 +1,6 @@
/* eslint-disable no-restricted-globals */
/// <reference no-default-lib="true" />
/// <reference lib="ES2015" />
/// <reference types="@types/sharedworker" />
import ReconnectingWebsocket from 'reconnecting-websocket';
@@ -71,8 +73,7 @@ function initConn(path: string, port: MessagePort, cookie: any) {
};
}
// eslint-disable-next-line no-undef
onconnect = function (e) {
onconnect = function (e) { // eslint-disable-line no-undef
const port = e.ports[0];
port.addEventListener('message', (msg: { data: RequestPayload }) => {