Move to websocket for requests to signal server
This commit is contained in:
parent
8449f343a6
commit
1c1d0e2da0
31 changed files with 1892 additions and 1336 deletions
|
@ -19,10 +19,12 @@ declare global {
|
|||
window.waitBatchers = [];
|
||||
|
||||
window.flushAllWaitBatchers = async () => {
|
||||
window.log.info('waitBatcher#flushAllWaitBatchers');
|
||||
await Promise.all(window.waitBatchers.map(item => item.flushAndWait()));
|
||||
};
|
||||
|
||||
window.waitForAllWaitBatchers = async () => {
|
||||
window.log.info('waitBatcher#waitForAllWaitBatchers');
|
||||
await Promise.all(window.waitBatchers.map(item => item.onIdle()));
|
||||
};
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue